PRISMA: A Mobile Calculus with Parametric Synchronization

DOI10.1007/978-3-540-75336-0_9zbMath1211.68025OpenAlexW1483150918MaRDI QIDQ3608457

Ivan Lanese, Roberto Bruni

Publication date: 5 March 2009

Published in: Trustworthy Global Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75336-0_9

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)

Related Items

Parametric synchronizations in mobile nominal calculi

Cites Work

• A calculus of communicating systems
• A calculus of mobile processes. II
• Synchronization trees
• Process Algebra
• Mobile values, new names, and secure communication
• Concurrent and Located Synchronizations in π-Calculus
• Programming Languages and Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item