Parallel product of event structures

DOI10.1016/S0304-3975(96)00104-1MaRDI QIDQ1391739zbMATH OpenOpenAlexFDO

Authors D. Massart, Ilaria Castellani, Guoqiang Zhang

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)

Cites work

• scientific article; zbMATH DE number 4018370 (Why is no real title available?)
• scientific article; zbMATH DE number 4119615 (Why is no real title available?)
• scientific article; zbMATH DE number 4182807 (Why is no real title available?)
• Petri nets, event structures and domains. I

Cited in

(10)

• 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
• Reduction of event structures under history preserving bisimulation
• Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
• Event structure semantics of (controlled) reversible CCS
• Metric semantics for true concurrent real time
• Branching pomsets: design, expressiveness and applications to choreographies
• Reasoning about promises in weak memory models with event structures

This page was built for publication: Parallel product of event structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1391739)