Axioms for Knowledge and Time in Distributed Systems with Perfect Recall

Ron van der Meyden. Axioms for Knowledge and Time in Distributed Systems with Perfect Recall. In Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, 4-7 July 1994, Paris, France. pages 448-457, IEEE Computer Society, 1994.

Abstract

Abstract is missing.