Generalized fair termination

Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '84 ◽

10.1145/800017.800515 ◽

1984 ◽

Cited By ~ 9

Author(s):

Nissim Francez ◽

Dexter Kozen

Download Full-text