Pages that link to "Item:Q688717"
From MaRDI portal
The following pages link to Refinement of actions in event structures and causal trees (Q688717):
Displayed 6 items.
- Towards a unified view of bisimulation: A comparative study (Q1575240) (← links)
- Dynamic connectors for concurrency (Q1603689) (← links)
- Well-behaved flow event structures for parallel composition and action refinement (Q1884941) (← links)
- Concurrent testing of processes (Q1902297) (← links)
- Causality versus true-concurrency (Q2465026) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)