Encoding Distributed Areas and Local Communication into the π-Calculus
From MaRDI portal
Publication:4917086
DOI10.1016/S1571-0661(04)00219-1zbMath1260.68260OpenAlexW2159010990MaRDI QIDQ4917086
Publication date: 26 April 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)00219-1
Related Items
Symmetric electoral systems for ambient calculi ⋮ On the Expressive Power of Polyadic Synchronisation in π-calculus
Cites Work
- Locality and interleaving semantics in calculi for mobile processes
- Observing localities
- A calculus of mobile processes. II
- On bisimulations for the asynchronous \(\pi\)-calculus
- A theory of processes with localities
- Distributed processes and location failures
- Internal mobility and agent-passing calculi
- A Distributed π-Calculus with Local Areas of Communication
- Behavioral equivalence in the polymorphic pi-calculus
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item