External Links

    Journal: Formal Asp. Comput.

    Volume 4, Issue 3

    239 -- 272José Luiz Fiadeiro, T. S. E. Maibaum. Temporal Theories as Modularisation Units for Concurrent System Specification
    273 -- 298James H. Anderson, Mohamed G. Gouda. A Criterion for Atomicity
    299 -- 319Michael Fisher. A Model Checker for Linear Time Temporal Logic
    runs on