Pages that link to "Item:Q3976059"
From MaRDI portal
The following pages link to Defining process fairness for non-interleaving concurrency (Q3976059):
Displaying 6 items.
- Event fairness and non-interleaving concurrency (Q911318) (← links)
- On equivalence-completions of fairness assumptions (Q1205189) (← links)
- An extension of Kleene's and Ochmański's theorems to infinite traces (Q1318685) (← links)
- A compositional framework for fault tolerance by specification transformation (Q1330423) (← links)
- Topological aspects of traces (Q4633178) (← links)
- Trade-offs in true concurrency: Pomsets and mazurkiewicz traces (Q6116581) (← links)