Reasoning about Meta Level Activities in Open Distributed Systems

Nalini Venkatasubramanian, Carolyn L. Talcott. Reasoning about Meta Level Activities in Open Distributed Systems. In PODC. pages 144-152, 1995.

Abstract

Abstract is missing.