External Links

    Journal: Formal Asp. Comput.

    Volume 1, Issue 4

    303 -- 319Peter Dybjer, Herbert P. Sander. A Functional Programming Approach to the Specification and Verification of Concurrent Systems
    320 -- 338Tobias Nipkow. Term Rewriting and Beyond - Theorem Proving in Isabelle
    339 -- 365Simon J. Thompson. A Logic for Miranda
    366 -- 411Pierre America. Issues in the Design of a Parallel Object-Oriented Language

    Volume 1, Issue 3

    213 -- 228Marta Z. Kwiatkowska. Event Fairness and Non-interleaving Concurrency
    229 -- 241Jifeng He. Process Simulation and Refinement
    242 -- 272Sören Holmström. A Refinement Calculus for Specifications in Hennessy-Milner Logic with Recursion
    273 -- 292D. J. Walker. Automated Analysis of Mutual Exclusion Algorithms using CCS

    Volume 1, Issue 2

    147 -- 171C. T. Burton, S. J. Cook, S. Gikas, J. R. Rowson, S. T. Sommerville. Specifying the Apple Macintosh Toolbox Event Manager
    173 -- 192Martin C. Henson. Program Development in the Constructive Set Theory TK
    193 -- 211Matthew M. Huntbach. Meta-interpreters and Partial Evaluation in Parlog

    Volume 1, Issue 1

    5 -- 18Martyn Thomas. Development Methods for Trusted Computer Systems
    19 -- 84Roland Carl Backhouse, Paul Chisholm. Do-It-Yourself Type Theory
    85 -- 114Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George. The RAISE Language, Method and Tools
    115 -- 135C. A. Middelburg. VVSL: A Language for Structured VDM Specifications
    runs on