A Distributed π-Calculus with Local Areas of Communication

DOI10.1016/S1571-0661(04)80869-7zbMath1262.68137MaRDI QIDQ4921499

I. Stark, Tom Chothia

Publication date: 10 May 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) Network protocols (68M12) Internet topics (68M11)

Related Items (3)

Abstractions for fault-tolerant global computing ⋮ Encoding Distributed Areas and Local Communication into the π-Calculus ⋮ On the Expressive Power of Polyadic Synchronisation in π-calculus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Locality and interleaving semantics in calculi for mobile processes
• On modelling mobility
• The name discipline of uniform receptiveness (extended abstract)
• Distributed processes and location failures

This page was built for publication: A Distributed π-Calculus with Local Areas of Communication