"Axioms for Knowledge and Time in Distributed Systems with Perfect Recall"

Ron van der Meyden (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics