External Links

    Journal: Formal Asp. Comput.

    Volume 7, Issue 4

    353 -- 388Rutger M. Dijkstra. DUALITY: A Simple Formalism for the Analysis of UNITY
    389 -- 411Wim H. Hesselink. Safety and Progress of Recursive Procedures
    412 -- 429Simon J. Thompson. A Logic for Miranda, Revisited
    430 -- 439Ian J. Hayes, Jeff W. Sanders. Specification by Interface Separation
    440 -- 468Antti Valmari, Martti Tienari. Compositional Failure-based Semantics Models for Basic LOTOS
    runs on