Pages that link to "Item:Q2502272"
From MaRDI portal
The following pages link to Fairness of actions in system computations (Q2502272):
Displaying 18 items.
- Liveness of a mutex algorithm in a fair process algebra (Q1015393) (← links)
- Abstract fairness and semantics (Q1391865) (← links)
- Stepwise development of fair distributed systems (Q1424348) (← links)
- On fairness notions in distributed systems. I: A characterization of implementability (Q1854419) (← links)
- Ensuring liveness properties of distributed systems: open problems (Q2011206) (← links)
- Fairness measures for decision-making and conflict resolution (Q2302377) (← links)
- CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions (Q2340255) (← links)
- On fairness of D0L systems (Q2381541) (← links)
- Keep it fair: equivalence and composition (Q2423741) (← links)
- Fairness of components in system computations (Q2491632) (← links)
- Fairness of components in system computations (Q2848134) (← links)
- Time and Fairness in a Process Algebra with Non-blocking Reading (Q3599073) (← links)
- Fairness in systems based on multiparty interactions (Q4432746) (← links)
- Fairness for Infinite-State Systems (Q5194957) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703800) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705922) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900582) (← links)
- Modelling mutual exclusion in a process algebra with time-outs (Q6053409) (← links)