External Links

    Journal: ACM Trans. Comput. Syst.

    Volume 10, Issue 3

    167 -- 189William Tsun-Yuk Hsu, Pen-Chung Yew. An Effective Synchronization Network for Hot-Spot Accesses
    190 -- 225M. Stella Atkins, M. Y. Coady. Adaptable Concurrency Control for Atomic Data Types
    226 -- 264Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden. A Logic for Reasoning About Security
    runs on