Pages that link to "Item:Q1853038"
From MaRDI portal
The following pages link to Bundle event structures: a revised cpo approach. (Q1853038):
Displaying 6 items.
- Unified mathematical framework for slicing and symmetry reduction over event structures (Q2336364) (← links)
- Refinement of actions for real-time concurrent systems with causal ambiguity (Q2491208) (← links)
- Taking decisions late: end-based choice combined with action refinement (Q2844828) (← links)
- Refinement of actions in a real-time process algebra with a true concurrency model (Q2844829) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900558) (← links)
- Event structure semantics of (controlled) reversible CCS (Q5918352) (← links)