Susan S. Owicki, Leslie Lamport. Proving Liveness Properties of Concurrent Programs. ACM Transactions on Programming Languages and Systems, 4(3):455-495, 1982. [doi]
@article{OwickiL82, title = {Proving Liveness Properties of Concurrent Programs}, author = {Susan S. Owicki and Leslie Lamport}, year = {1982}, doi = {10.1145/357172.357178}, url = {http://doi.acm.org/10.1145/357172.357178}, researchr = {https://researchr.org/publication/OwickiL82}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {4}, number = {3}, pages = {455-495}, }