On the Expressive Power of Polyadic Synchronisation in π-calculus

DOI10.1016/S1571-0661(05)80361-5zbMath1270.68208MaRDI QIDQ2842599

Marco Carbone, Sergio Maffeis

Publication date: 15 August 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items (4)

Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On Mobility and Communication

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Concurrency and atomicity
• A calculus of mobile processes. I
• A calculus for cryptographic protocols: The spi calculus
• Embedding as a tool for language comparison
• Mobile ambients
• Decoding choice encodings
• An improved algorithm for decentralized extrema-finding in circular configurations of processes
• Encoding Distributed Areas and Local Communication into the π-Calculus
• A Distributed π-Calculus with Local Areas of Communication

This page was built for publication: On the Expressive Power of Polyadic Synchronisation in π-calculus