External Links

    Journal: ACM Trans. Comput. Syst.

    Volume 13, Issue 4

    311 -- 342Yair Amir, Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal, P. Ciarfella. The Totem Single-Ring Ordering and Membership Protocol
    343 -- 364Maurice Herlihy, Beng-Hong Lim, Nir Shavit. Scalable Concurrent Counting
    365 -- 398Dino Mandrioli, Sandro Morasca, Angelo Morzenti. Generating Test Cases for Real-Time Systems from Logic Specifications
    runs on