External Links

    Journal: Distributed Computing

    Volume 13, Issue 3

    127 -- 143G. Manduchi, M. Moro. Automatic verification for a class of distributed systems
    145 -- 153Joseph Y. Halpern. A note on knowledge-based programs and specifications
    155 -- 186Anna Pogosyants, Roberto Segala, Nancy A. Lynch. Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study
    runs on