Axioms for Knowledge and Time in Distributed Systems with Perfect Recall

Ron van der Meyden

Browse the full LICS paper archive.