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 (29)

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

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

This page was built for publication: A theory of processes with localities