Pages that link to "Item:Q1050109"
From MaRDI portal
The following pages link to Proof rules and transformations dealing with fairness (Q1050109):
Displaying 28 items.
- On the logic of UNITY (Q673960) (← links)
- Complete proof rules for strong fairness and strong extreme fairness (Q685427) (← links)
- A fair calculus of communicating systems (Q793508) (← links)
- Fair termination revisited - with delay (Q795499) (← links)
- A taxonomy of fairness and temporal logic problems for Petri nets (Q805257) (← links)
- Storage requirements for fair scheduling (Q1054474) (← links)
- Ten years of Hoare's logic: A survey. II: Nondeterminism (Q1056534) (← links)
- A complete rule for equifair termination (Q1088401) (← links)
- An algebraic theory of fair asynchronous communicating processes (Q1088403) (← links)
- An introduction to the regular theory of fairness (Q1102102) (← links)
- Deadlock and fairness in morphisms of transition systems (Q1105379) (← links)
- Infinite trees, markings, and well-foundedness (Q1112586) (← links)
- Appraising fairness in languages for distributed programming (Q1112589) (← links)
- Interpretations of recursion under unbounded nondeterminacy (Q1115173) (← links)
- Strong fairness and ultra metrics (Q1193893) (← links)
- The expressive power of indeterminate dataflow primitives (Q1201292) (← links)
- On equivalence-completions of fairness assumptions (Q1205189) (← links)
- Fairness and hyperfairness in multi-party interactions (Q1261113) (← links)
- Nonexpressibility of fairness and signaling (Q1309386) (← links)
- Weak and strong fairness in CCS (Q1822489) (← links)
- Verification of concurrent programs: The automata-theoretic framework (Q2277249) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Communicating processes, scheduling, and the complexity of nontermination (Q3034829) (← links)
- Towards Modelling Obligations in Event-B (Q3535374) (← links)
- <i>m</i>-Algebraic lattices in formal concept analysis (Q5108534) (← links)
- Explicit Fair Scheduling for Dynamic Control (Q5187822) (← links)
- A category-theoretic semantics for unbounded indeterminacy (Q5887523) (← links)
- Liminf progress measures (Q6171780) (← links)
