Preserving Liveness: Comments on ``Safety and Liveness from a Methodological Point of View''

Martín Abadi

Bowen Alpern

Krzysztof R. Apt

Nissim Francez

Shmuel Katz

Leslie Lamport

Fred B. Schneider

Inf. Process. Lett., 40 (1991), pp. 141-142

Google Scholar

Abstract