Complete Proof Rules for Strong Fairness and Strong Extreme Fairness

Michael G. Main. Complete Proof Rules for Strong Fairness and Strong Extreme Fairness. Theoretical Computer Science, 111(1&2):125-143, 1993.

Abstract

Abstract is missing.