Proving Liveness Properties of Concurrent Programs

Susan S. Owicki, Leslie Lamport. Proving Liveness Properties of Concurrent Programs. ACM Transactions on Programming Languages and Systems, 4(3):455-495, 1982. [doi]

Abstract

Abstract is missing.