K. Mani Chandy Jayadev Misra An Example of Stepwise Refinement of Distributed Programs: Quiescence Detection. 326-343 1986 8 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/5956.5958 db/journals/toplas/toplas8.html#ChandyM86