A Formalization of Knowledge in Fault Tolerant Distributed Algorithms.

Ron van der Meyden, Godfrey Wong

Browse the full SIROCCO paper archive.