R e f e r e n c e s [Hal87] J .Y. Halpern, Using reasoning about knowledge to analyze distributed systems, Annual Review of Computer Science, Vol. 2, Annual Reviews Inc., 1987, pp. 37-68. [HF85] J .Y . Halpern and R. Fagin, A formal model of knowledge, action, and communication in distributed systems: preliminary report, Proc. 4th ACM Symp. on Principles o] Distributed Computing, 1985, pp. 224-...