Pages that link to "Item:Q1088401"
From MaRDI portal
The following pages link to A complete rule for equifair termination (Q1088401):
Displaying 4 items.
- Complete proof rules for strong fairness and strong extreme fairness (Q685427) (← links)
- Infinite trees, markings, and well-foundedness (Q1112586) (← links)
- Appraising fairness in languages for distributed programming (Q1112589) (← links)
- On equivalence-completions of fairness assumptions (Q1205189) (← links)