Pages that link to "Item:Q1205189"
From MaRDI portal
The following pages link to On equivalence-completions of fairness assumptions (Q1205189):
Displaying 10 items.
- Event fairness and non-interleaving concurrency (Q911318) (← links)
- Axiomatic foundations for fairness-motivated preferences (Q1038706) (← links)
- An introduction to the regular theory of fairness (Q1102102) (← links)
- Abstract fairness and semantics (Q1391865) (← links)
- On fairness notions in distributed systems. II: Equivalence-completions and their hierarchies (Q1854420) (← links)
- Generating non-conspiratorial executions (Q2379964) (← links)
- (Q4472441) (← links)
- On fairness of completion-based theorem proving strategies (Q5055773) (← links)
- Action systems in incremental and aspect-oriented modeling (Q5138491) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703800) (← links)