External Links

    Journal: Formal Asp. Comput.

    Volume 8, Issue 4

    379 -- 407Matthew Hennessy, H. Lin. Proof Systems for Message-Passing Process Algebras
    408 -- 427David Scholefield. Real-Time Refinement in Manna and Pnueli s Temporal Logic
    428 -- 462Christoph Beierle, Egon Börger. Specification and Correctness Proof of a WAM Extension with Abstract Type Constraints
    463 -- 478Stefan Rönn. Invariants and Closures in the Theory of Rewrite Systems
    479 -- 489A. P. Martin, Paul H. B. Gardiner, Jim Woodcock. A Tactic Calculus-Abridged Version
    490 -- 497Mark Harman, Dan Simpson, Sebastian Danicic. Slicing Programs in the Presence of Errors
    runs on