Well-behaved flow event structures for parallel composition and action refinement

DOI10.1016/j.tcs.2003.10.031zbMath1068.68095OpenAlexW2040728974MaRDI QIDQ1884941

Robert J. van Glabbeek, Goltz, Ursula

Publication date: 27 October 2004

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2003.10.031

zbMATH Keywords

Parallel compositionConcurrencyAction refinementFlow event structures

Mathematics Subject Classification ID

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

Related Items (6)

A Verification Technique for Reversible Process Algebra ⋮ Interleaving isotactics -- an equivalence notion on behaviour abstractions ⋮ Event structure semantics for multiparty sessions ⋮ Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra ⋮ Reasoning about promises in weak memory models with event structures ⋮ ENFORCING CONCURRENT TEMPORAL BEHAVIORS

Cites Work

• Unnamed Item
• Unnamed Item
• On the nature of events: another perspective in concurrency
• Refinement of actions in event structures and causal trees
• Petri nets, event structures and domains. I
• Flow models of distributed computations: Three equivalent semantics for CCS
• Parallel product of event structures
• Refinement of actions and equivalence notions for concurrent systems

This page was built for publication: Well-behaved flow event structures for parallel composition and action refinement