External Links

    Journal: Distributed Computing

    Volume 13, Issue 4

    187 -- 0. Editorial: Time for Change
    189 -- 206Yuh-Jzer Joung. Asynchronous group mutual exclusion
    207 -- 218Ajoy Kumar Datta, Colette Johnen, Franck Petit, Vincent Villain. Self-stabilizing depth-first token circulation in arbitrary rooted networks
    219 -- 238Wai-Kau Lo, Vassos Hadzilacos. On the power of shared object types to implement one-resilient Consensus
    239 -- 245Leslie Lamport. Fairness and hyperfairness

    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

    Volume 13, Issue 2

    59 -- 83John Havlicek. Computable Obstructions to Wait-Free Computability
    85 -- 98Scott D. Stoller. Detecting Global Predicates in Distributed Systems with Clocks
    99 -- 125Marcos Kawazoe Aguilera, Wei Chen, Sam Toueg. Failure Detection and Consensus in the Crash-Recovery Model

    Volume 13, Issue 1

    1 -- 17Ted Herman. Superstabilizing Mutual Exclusion
    19 -- 28Dahlia Malkhi, Michael Merritt, Ohad Rodeh. Secure Reliable Multicast Protocols in a WAN
    29 -- 43Jean-Michel Hélary, Achour Mostéfaoui, Robert H. B. Netzer, Michel Raynal. Communication-Based Prevention of Useless Checkpoints in Fistributed Computations
    45 -- 52Rida A. Bazzi. Synchronous Byzantine Quorum Systems
    53 -- 58Uriel Feige, Robert Krauthgamer. Networks on Which Hot-Potato Routing Does Not Livelock
    runs on