Proof Rules Dealing with Fairness

Authors:
Krzysztof R. Apt;Ernst-Rüdiger Olderog
Affiliations:
-;-
Venue:
Logic of Programs, Workshop
Year:
1981

Citing 0
Cited 1

A Theory of Bounded Fair Scheduling

Proceedings of the 5th international colloquium on Theoretical Aspects of Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract