Chandy. Proofs of networks of processes (1981)

by Jayadev Misra, K Mani
Venue:IEEE Transactions on Software Engineering