The following pages link to (Q4807831):
Displaying 4 items.
- Independence Abstractions and Models of Concurrency (Q2961560) (← links)
- Pomset Languages of Finite Step Transition Systems (Q3636841) (← links)
- Trade-offs in true concurrency: Pomsets and mazurkiewicz traces (Q6116581) (← links)
- Synthesis and Analysis of Petri Nets from Causal Specifications (Q6487344) (← links)