A theory of processes with localities

DOI10.1007/BF01221098zbMath0806.68070OpenAlexW3020829080MaRDI QIDQ1329198

Gérard Boudol, Ilaria Castellani, Matthew C. B. Hennessy, Astrid Kiehn

Publication date: 29 June 1994

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01221098

zbMATH Keywords

distributed systemsbisimulation

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Related Items

A theory of processes with localities, A format for semantic equivalence comparison, Comparing locality and causality based equivalences, Automatizing parametric reasoning on distributed concurrent systems, Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines, Causality and true concurrency: A data-flow analysis of the Pi-Calculus, Read-write causality, A calculus of mobile agents, Nested-unit Petri nets, A stable non-interleaving early operational semantics for the pi-calculus, Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra, Unnamed Item, Unnamed Item, Extended transition systems for parametric bisimulation, Distribution and locality of concurrent systems, Locality and interleaving semantics in calculi for mobile processes, Location equivalence in a parametric setting, Causality for mobile processes, Encoding Distributed Areas and Local Communication into the π-Calculus, A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus, Ensuring liveness properties of distributed systems: open problems, Distributed processes and location failures, A calculus of branching processes, A parametric approach to localities, Proved trees, Distributed processes and location failures, On performance congruences for process algebras, Dynamic connectors for concurrency, Truly concurrent constraint programming

Cites Work

• Algebra of communicating processes with abstraction
• A calculus of communicating systems
• A theory of processes with localities
• A static view of localities
• Distributed bisimulations
• Algebraic laws for nondeterminism and concurrency
• Axiomatising Finite Concurrent Processes
• Flowgraphs and Flow Algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item