An Axiomatic Proof Technique for Networks of Communicating Processes
K. Mani Chandy, Jayadev Misra · 1979
this report was supported by Hitachi Corporations 1o Networks of Processes This paper suggests methods for proving the correctness of networks of processes which communicate exclusively through messages