Parallel product of event structures
From MaRDI portal
Publication:1391739
DOI10.1016/S0304-3975(96)00104-1zbMath0900.68323MaRDI QIDQ1391739
Publication date: 22 July 1998
Published in: Theoretical Computer Science (Search for Journal in Brave)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Metric semantics for true concurrent real time, Event structure semantics of (controlled) reversible CCS, Reduction of event structures under history preserving bisimulation, Well-behaved flow event structures for parallel composition and action refinement, Static versus dynamic reversibility in CCS, Process synchronisation as fusion, Dynamic Causality in Event Structures, Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Cites Work