Distributed processes and location failures

DOI10.1007/3-540-63165-8_203MaRDI QIDQ4571978zbMATH OpenOpenAlexFDO

Authors J. Riely, Matthew 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)

Recommendations

• Distributed processes and location failures
• scientific article; zbMATH DE number 936830
• Distribution and locality of concurrent systems
• Fault-tolerant distributed computing
• Initial failures in distributed computations
• Unreliable failure detectors for reliable distributed systems
• Resolving error propagation in distributed systems
• scientific article; zbMATH DE number 2016060

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1231459 (Why is no real title available?)
• scientific article; zbMATH DE number 2077122 (Why is no real title available?)
• A calculus of mobile agents
• A calculus of mobile processes. I
• A theory of processes with localities
• Lambda-calculi for (strict) parallel functions
• OBSERVING DISTRIBUTION IN PROCESSES: STATIC AND DYNAMIC LOCALITIES
• On bisimulations for the asynchronous \(\pi\)-calculus
• Process Algebra
• Symbolic bisimulations
• Trust and partial typing in open systems of mobile agents

Cited in

(9)

• Encoding distributed areas and local communication into the \(\pi \)-calculus
• Distributed processes and location failures
• The two-phase commitment protocol in an extended \(\pi\)-calculus
• A distributed \(\pi\)-calculus with local areas of communication
• A theory of system behaviour in the presence of node and link failure
• scientific article; zbMATH DE number 2087552 (Why is no real title available?)
• A model of actors and grey failures
• Self-similarity breeds resilience
• CONCUR 2005 – Concurrency Theory

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

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