External Links

    Journal: Formal Asp. Comput.

    Volume 7, Issue 6

    587 -- 619Philippe Noël. A Transformation-Based Synthesis of Temporal Specifications
    620 -- 651Ian Maung. On Simulation, Subtyping and Substitutability in Sequential Object Systems
    651 -- 662David A. Naumann. Data Refinement, Call by Value and Higher Order Programs
    663 -- 682Sergei Gorlatch, Christian Lengauer. Parallelisation of Divide-and-Conquer in the Bird-Meertens Formalism
    683 -- 703Rajit Manohar, K. Rustan M. Leino. Conditional Composition
    704 -- 727Paul Mukherjee, Victoria Stavridou. A Theory pf Orwellian Specifications with NewThink
    runs on