Reasoning about meta level activities in open distributed systems (1995)

by N Venkatasubramanian, T Carolyn
Venue:Proceedings of 14th Annual ACM Symposium on Principles of Distributed Computing