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

by N Venkatasubramanian, C L Talcott
Venue:In Proc. the 14th Annual ACM Symp. on Principles of Distributed Computing (PODC ’95