Jayadev Misra K. Mani Chandy Proofs of Networks of Processes. 417-426 1981 7 IEEE Trans. Software Eng. 4 db/journals/tse/tse7.html#MisraC81 http://doi.ieeecomputersociety.org/10.1109/TSE.1981.230844