Axioms for knowledge and time in distributed systems with perfect recall | IEEE Conference Publication | IEEE Xplore