A parametric approach to localities

DOI10.1007/3-540-55719-9_109zbMath1427.68207OpenAlexW1566946341MaRDI QIDQ5204352

Daniel Yankelevich, Ugo Montanari

Publication date: 4 December 2019

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-55719-9_109

Mathematics Subject Classification ID

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

Related Items

Read-write causality ⋮ Ugo Montanari and Concurrency Theory ⋮ Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra ⋮ Extended transition systems for parametric bisimulation ⋮ Locality and interleaving semantics in calculi for mobile processes ⋮ Location equivalence in a parametric setting ⋮ A process algebra with distributed priorities ⋮ Distributed processes and location failures ⋮ On performance congruences for process algebras

Cites Work

• Universal axioms for bisimulations
• A theory of processes with localities
• Automatizing parametric reasoning on distributed concurrent systems
• Distributed bisimulations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item