Pages that link to "Item:Q1391739"
From MaRDI portal
The following pages link to Parallel product of event structures (Q1391739):
Displayed 11 items.
- Reduction of event structures under history preserving bisimulation (Q338613) (← links)
- Well-behaved flow event structures for parallel composition and action refinement (Q1884941) (← links)
- Static versus dynamic reversibility in CCS (Q2022303) (← links)
- Process synchronisation as fusion (Q2563765) (← links)
- Event structure semantics for multiparty sessions (Q2683035) (← links)
- Dynamic Causality in Event Structures (Q2827451) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
- Event structure semantics of (controlled) reversible CCS (Q5918352) (← links)
- Metric semantics for true concurrent real time (Q5940931) (← links)
- Branching pomsets: design, expressiveness and applications to choreographies (Q6151606) (← links)
- Reasoning about promises in weak memory models with event structures (Q6174540) (← links)