The following pages link to (Q3779754):
Displayed 6 items.
- Structure theory of equal conflict systems (Q672877) (← links)
- Bicategories of processes (Q674474) (← links)
- Event fairness and non-interleaving concurrency (Q911318) (← links)
- Injective envelope and parallel decomposition of a transition system (Q1763334) (← links)
- Feedback, trace and fixed-point semantics (Q4787833) (← links)
- Trade-offs in true concurrency: Pomsets and mazurkiewicz traces (Q6116581) (← links)