Pages that link to "Item:Q688717"
From MaRDI portal
The following pages link to Refinement of actions in event structures and causal trees (Q688717):
Displaying 13 items.
- A reduced maximality labeled transition system generation for recursive Petri nets (Q903505) (← links)
- 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)
- Towards refinable choreographies (Q2141294) (← links)
- Testing equivalences of time Petri nets (Q2217206) (← links)
- Causality versus true-concurrency (Q2465026) (← links)
- Event structure semantics for multiparty sessions (Q2683035) (← links)
- (Q2844828) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
- Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice (Q4923369) (← links)
- (Q5019695) (← links)
