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)
Full work available at URL: https://doi.org/10.1016/s0304-3975(96)00104-1
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, Branching pomsets: design, expressiveness and applications to choreographies, Reasoning about promises in weak memory models with event structures, 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, Event structure semantics for multiparty sessions, Dynamic Causality in Event Structures, Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Cites Work