Sharon Simmons, Phil Kearns. A Causal Assert Statement for Distributed Systems. In M. H. Hamza, editor, Proceedings of the Seventh IASTED/ISMM International Conference on Parallel and Distributed Computing and Systems, Washington, D.C., USA, October 19-21, 1995. pages 495-498, IASTED/ACTA Press, 1995.
Abstract is missing.