Tech. Report 206, Dep. of Information and Computer Science, Univ. of California, Irvine, CA 92717, August 1983.
Also in: Proc. of the Int. Conf. on Parallel Processing, pages 126-128. New York: IEEE Service Cent., 1984.
Also in: Yemini, Y.; Strom, R.; Yemini, S.: Protocol Specification, Testing and Verification IV, pages 561-576. Elsevier Science Publishers B. V. (North-Holland), IFIP, 1985.