External Links

    Journal: Formal Asp. Comput.

    Volume 8, Issue 3

    247 -- 293Giuseppe Castagna. Integration of Parametric and ad hoc Second Order Polymorphism in a Calculus with Subtyping
    294 -- 323Ping Zhou, Jozef Hooman, Ruurd Kuiper. Compositional Verification of Real-Time Systems with Explicit Clock Temporal Logic
    324 -- 346Ralph-Johan Back, Kaisa Sere. Superposition Refinement of Reactive Systems
    347 -- 368Roger Duke, Cecily Bailes, Graeme Smith. A Blocking Model for Reactive Objects
    369 -- 375J. Michael Spivey. The Consistency Theorem for Free Type Definitions in Z
    runs on