A distributed -calculus with local areas of communication

DOI10.1016/S1571-0661(04)80869-7MaRDI QIDQ4921499zbMATH OpenFDO

Authors Tom Chothia, Ian Stark

Publication date 10 May 2013

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

Full work available at URL https://doi.org/10.1016/S1571-0661(04)80869-7

Mathematics Subject Classification ID

Internet topics (68M11) Network protocols (68M12) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Encoding distributed areas and local communication into the -calculus
• -calculi
• scientific article; zbMATH DE number 1361143
• scientific article; zbMATH DE number 1223731
• The M-calculus: a higher-order distributed process calculus

Cites work

• Distributed processes and location failures
• scientific article; zbMATH DE number 1223731 (Why is no real title available?)
• scientific article; zbMATH DE number 1231689 (Why is no real title available?)
• Locality and interleaving semantics in calculi for mobile processes
• Mobile ambients
• On modelling mobility
• The name discipline of uniform receptiveness (extended abstract)

Cited in

(13)

• Names of the -calculus agents handled locally
• Abstractions for fault-tolerant global computing
• The \(C_\pi\)-calculus: a model for confidential name passing
• An introduction to the -calculus.
• On the expressive power of polyadic synchronisation in -calculus
• Lexically scoped distribution: what you see is what you get
• The M-calculus: a higher-order distributed process calculus
• scientific article; zbMATH DE number 1223731 (Why is no real title available?)
• scientific article; zbMATH DE number 1231680 (Why is no real title available?)
• scientific article; zbMATH DE number 1361143 (Why is no real title available?)
• scientific article; zbMATH DE number 1500657 (Why is no real title available?)
• Encoding distributed areas and local communication into the -calculus
• The Kell calculus: operational semantics and type system.

This page was built for publication: A distributed \(\pi\)-calculus with local areas of communication

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4921499)