External Links

    Journal: Distributed Computing

    Volume 6, Issue 2

    73 -- 93Prakash Panangaden, Kim Taylor. Concurrent Common Knowledge: Defining Agreement for Asynchronous Systems
    95 -- 98Ted Herman. Self-Stabilization: Randomness to Reduce Space
    99 -- 105Anne Kaldewaij, Jan Tijmen Udding. Rank Order Filters and Priority Queues
    107 -- 120Shmuel Katz, Doron Peled. Verification of Distributed Programs Using Representative Interleaving Sequences
    121 -- 139Nancy A. Lynch, Hagit Attiya. Using Mappings to Prove Timing Properties
    runs on