Observing localities
From MaRDI portal
Publication:685414
DOI10.1016/0304-3975(93)90152-JzbMath0783.68072OpenAlexW2913408576MaRDI QIDQ685414
Gérard Boudol, Astrid Kiehn, Matthew C. B. Hennessy, Ilaria Castellani
Publication date: 17 October 1993
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(93)90152-j
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)
Related Items (20)
Minimal transition systems for history-preserving bisimulation ⋮ Comparing locality and causality based equivalences ⋮ Concurrent testing of processes ⋮ Timing and causality in process algebra ⋮ Nested-unit Petri nets ⋮ Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra ⋮ Unnamed Item ⋮ Behavioural equivalence for infinite systems — Partially decidable! ⋮ Locality and interleaving semantics in calculi for mobile processes ⋮ Location equivalence in a parametric setting ⋮ A process algebra with distributed priorities ⋮ Encoding Distributed Areas and Local Communication into the π-Calculus ⋮ Implicit Propagation in Structural Operational Semantics ⋮ A process algebra with distributed priorities ⋮ Non-interleaving semantics for mobile processes ⋮ Basic observables for processes ⋮ Names of the \(\pi\)-calculus agents handled locally ⋮ Tile formats for located and mobile systems. ⋮ Co-Algebraic Models for Quantitative Spatial Logics ⋮ Dynamic connectors for concurrency
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Modal logics for communicating systems
- Proof systems for satisfiability in Hennessy-Milner logic with recursion
- Algebra of communicating processes with abstraction
- A distributed operational semantics of CCS based on condition/event systems
- Distributed bisimulations
- Axiomatising Finite Concurrent Processes
This page was built for publication: Observing localities
