Chrzastowski-Wachtel, Piotr

• DAIMI Report Series No. 194 (1985): PB-194 Generalizations of Liveness and Fairness Properties - Articles
  Generalizations of Liveness and Fairness Properties
  Abstract  PDF