Vijay K. Garg, Alexander I. Tomlinson, Eddy Fromentin, Michel Raynal. Expressing and detecting control flow properties of distributed computations. In Proceedings of the Seventh IEEE Symposium on Parallel and Distributed Processing, SPDP 1995, San Antonio, Texas , USA, October 25-28, 1995. pages 432-438, IEEE, 1995. [doi]
Abstract is missing.