A Distributed π-Calculus with Local Areas of Communication
From MaRDI portal
Publication:4921499
DOI10.1016/S1571-0661(04)80869-7zbMath1262.68137MaRDI QIDQ4921499
Publication date: 10 May 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68M12: Network protocols
68M11: Internet topics
Related Items
Encoding Distributed Areas and Local Communication into the π-Calculus, Abstractions for fault-tolerant global computing, On the Expressive Power of Polyadic Synchronisation in π-calculus
Cites Work