Pages that link to "Item:Q1424348"
From MaRDI portal
The following pages link to Stepwise development of fair distributed systems (Q1424348):
Displaying 8 items.
- A note on fairness in I/O automata (Q671616) (← links)
- Deadlock and fairness in morphisms of transition systems (Q1105379) (← links)
- Refinement of fair action systems (Q1386406) (← links)
- On fairness notions in distributed systems. I: A characterization of implementability (Q1854419) (← links)
- Keep it fair: equivalence and composition (Q2423741) (← links)
- Fairness of components in system computations (Q2848134) (← links)
- Verification: Theory and Practice (Q5305647) (← links)
- An Algebraic Approach to Refinement with Fair Choice (Q5403463) (← links)