A static view of localities
From MaRDI portal
Publication:1329199
DOI10.1007/BF01221099zbMath0806.68069MaRDI QIDQ1329199
Publication date: 13 February 1995
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
A theory of processes with localities, A static view of localities, Comparing locality and causality based equivalences, 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, Distribution and locality of concurrent systems, Behavioural equivalence for infinite systems — Partially decidable!, Locality and interleaving semantics in calculi for mobile processes, Location equivalence in a parametric setting, Distributed processes and location failures, A theory of stochastic systems. II: Process algebra
Cites Work
