No. 194 (1985): PB-194 Generalizations of Liveness and Fairness Properties

Published: 1985-08-01