External Links

    Journal: Formal Asp. Comput.

    Volume 7, Issue 1

    3 -- 17Jan L. A. van de Snepscheut. The Sliding-Window Protocol Revisited
    18 -- 36José Félix Costa, Amílcar Sernadas. Progress Assumption in Concurrent Systems
    37 -- 53Michael J. Butler, Carroll Morgan. Action Systemes, Unbounded Nondeterminism, and Infinite Traces
    54 -- 76Steve King, Carroll Morgan. Exits in the Refinement Calculus
    77 -- 90Pierre Lescanne. Termination of Rewrite Systems by Elementary Interpretations
    91 -- 105J. Coenen. Hoare s Logic and VDM
    runs on