Complete proof rules for strong fairness and strong extreme fairness
Authors:
Michael G. Main
Affiliations:
-
Venue:
Theoretical Computer Science - Special volume of selected papers of the Sixth Workshop on the Mathematical Foundations of Programming Semantics, Kingston, Ont., Canada, May 1990