Preserving liveness: comments on “safety and liveness from a methodological point of view”

• Authors:

• Martín Abadi;Bowen Alpern;Krzysztof R. Apt;Nissim Francez;Shmuel Katz;Leslie Lamport;Fred B. Schneider

• Affiliations:

• -;-;-;-;-;-;-

• Venue:
• Information Processing Letters
• Year:
• 1991