PRISMA: A Mobile Calculus with Parametric Synchronization