PRISMA: A mobile calculus with parameterized synchronization