Comparing locality and causality based equivalences

DOI10.1007/BF01178730zbMath0834.68070MaRDI QIDQ1342503

V. Pereyra

Publication date: 16 February 1995

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

causal bisimulationsnoninterleaving semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (12)

A format for semantic equivalence comparison ⋮ Models for name-passing processes: Interleaving and causal ⋮ Some congruence properties for \(\pi\)-calculus bisimilarities ⋮ 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 ⋮ Locality and interleaving semantics in calculi for mobile processes ⋮ Location equivalence in a parametric setting ⋮ Distributed processes and location failures ⋮ Non-interleaving semantics for mobile processes ⋮ Tile formats for located and mobile systems. ⋮ Dynamic connectors for concurrency ⋮ A causal semantics for CCS via rewriting logic

Cites Work

• Observing localities
• A partial ordering semantics for CCS
• Petri nets with individual tokens
• Concurrency and atomicity
• A theory of processes with localities
• A static view of localities
• Distributed bisimulations
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Comparing locality and causality based equivalences