Proving Liveness Properties of Concurrent Programs (1982)

by S Owicki, L Lamport
Venue:in ACM Trans. Program. Lang. Syst