Ching-Tsun Chou, Eli Gafni. Understanding and Verifying Distributed Algorithms Using Stratified Decomposition. In PODC. pages 44-65, 1988. [doi]
@inproceedings{ChouG88, title = {Understanding and Verifying Distributed Algorithms Using Stratified Decomposition}, author = {Ching-Tsun Chou and Eli Gafni}, year = {1988}, doi = {10.1145/62546.62556}, url = {http://doi.acm.org/10.1145/62546.62556}, researchr = {https://researchr.org/publication/ChouG88}, cites = {0}, citedby = {0}, pages = {44-65}, booktitle = {PODC}, }