External Links

    Journal: Distributed Computing

    Volume 6, Issue 1

    1 -- 3Fred B. Schneider. Introduction
    5 -- 18Manfred Broy. Algebraic and Functional Specification of an Interactive Serializable Database Interface
    19 -- 37Reino Kurki-Suonio. Operational Specification with Joint Actions: Serializable Databases
    39 -- 63Simon S. Lam, A. Udaya Shankar. Specifying Modules to Satisfy Interfaces: A State Transition System Approach
    65 -- 71Leslie Lamport. Critique of the Lake Arrowhead Three
    runs on