Comparing locality and causality based equivalences
From MaRDI portal
Publication:1342503
DOI10.1007/BF01178730zbMath0834.68070MaRDI QIDQ1342503
Publication date: 16 February 1995
Published in: Acta Informatica (Search for Journal in Brave)
68Q55: Semantics in the theory of computing
Related Items
Distributed processes and location failures, Models for name-passing processes: Interleaving and causal, Locality and interleaving semantics in calculi for mobile processes, Location equivalence in a parametric setting, Some congruence properties for \(\pi\)-calculus bisimilarities, Non-interleaving semantics for mobile processes, Dynamic connectors for concurrency, A causal semantics for CCS via rewriting logic, Tile formats for located and mobile systems., A format for semantic equivalence comparison, Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Cites Work