Distributed processes and location failures
From MaRDI portal
Publication:4571978
DOI10.1007/3-540-63165-8_203zbMath1401.68233MaRDI QIDQ4571978
James Riely, Matthew C. B. Hennessy
Publication date: 4 July 2018
Published in: Automata, Languages and Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-63165-8_203
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Unnamed Item, The Two-Phase Commitment Protocol in an Extended π-Calculus, Encoding Distributed Areas and Local Communication into the π-Calculus, A Distributed π-Calculus with Local Areas of Communication, A model of actors and grey failures
Cites Work
- Symbolic bisimulations
- A calculus of mobile processes. I
- On bisimulations for the asynchronous \(\pi\)-calculus
- Lambda-calculi for (strict) parallel functions
- A theory of processes with localities
- Trust and partial typing in open systems of mobile agents
- Process Algebra
- OBSERVING DISTRIBUTION IN PROCESSES: STATIC AND DYNAMIC LOCALITIES
- A calculus of mobile agents
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item