Distributed processes and location failures

DOI10.1007/3-540-63165-8_203zbMath1401.68233OpenAlexW1859334764MaRDI 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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

A model of actors and grey failures ⋮ 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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Distributed processes and location failures