Parallel product of event structures

DOI10.1016/S0304-3975(96)00104-1zbMath0900.68323OpenAlexW2070422211MaRDI QIDQ1391739

D. Massart

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

zbMATH Keywords

Petri netstransition structure

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Well-behaved flow event structures for parallel composition and action refinement, Reduction of event structures under history preserving bisimulation, Event structure semantics for multiparty sessions, Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra, Branching pomsets: design, expressiveness and applications to choreographies, Reasoning about promises in weak memory models with event structures, Metric semantics for true concurrent real time, Static versus dynamic reversibility in CCS, Event structure semantics of (controlled) reversible CCS, Dynamic Causality in Event Structures, Process synchronisation as fusion

Cites Work

• Petri nets, event structures and domains. I
• Unnamed Item
• Unnamed Item
• Unnamed Item