Observing localities
From MaRDI portal
Publication:685414
DOI10.1016/0304-3975(93)90152-JzbMath0783.68072MaRDI QIDQ685414
Ilaria Castellani, Gérard Boudol, Matthew C. B. Hennessy, Astrid Kiehn
Publication date: 17 October 1993
Published in: Theoretical Computer Science (Search for Journal in Brave)
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q55: Semantics in the theory of computing
Related Items
Locality and interleaving semantics in calculi for mobile processes, Location equivalence in a parametric setting, A process algebra with distributed priorities, Non-interleaving semantics for mobile processes, Basic observables for processes, Comparing locality and causality based equivalences, Names of the \(\pi\)-calculus agents handled locally, Dynamic connectors for concurrency, Tile formats for located and mobile systems., Concurrent testing of processes, Timing and causality in process algebra, Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item