External Links

    Journal: Formal Asp. Comput.

    Volume 15, Issue 4

    297 -- 298Manfred Broy, Gerald Lüttgen, Michael Mendler. Editorial: Where Theory and Practice Meet
    299 -- 318Simon J. Gay, Rajagopal Nagarajan. Intensional and Extensional Semantics of Dataflow Programs
    319 -- 348Karl Lermer, Colin J. Fidge, Ian J. Hayes. Linear Approximation of Execution-Time Constraints
    349 -- 369Jörn W. Janneck. Actors and their Composition
    370 -- 389Victor Bos, J. J. T. Kleijn. Redesign of a Systems Engineering Language: Formalisation of X
    390 -- 405Martin Fränzle, Jürgen Niehaus, Alexander Metzner, Werner Damm. A Semantics for Distributed Execution of Statemate
    406 -- 421Michael J. C. Gordon. Validating the PSL/Sugar Semantics Using Automated Reasoning

    Volume 15, Issue 2-3

    101 -- 102. Editorial
    103 -- 117Ralph-Johan Back, Joakim von Wright. Compositional Action System Refinement
    118 -- 145Jim Davies, Charles Crichton. Concurrency and Refinement in the Unified Modeling Language
    146 -- 181Ana Cavalcanti, Augusto Sampaio, Jim Woodcock. A Refinement Strategy for Circus
    182 -- 214John Derrick, Eerke Boiten. Relational Concurrent Refinement
    215 -- 236Emil Sekerinski. Exploring Tabular Verification and Refinement
    237 -- 257Egon Börger. The ASM Refinement Method
    258 -- 279Luke Wildman, Colin J. Fidge, David A. Carrington. The Variety of Variables in Automated Real-Time Refinement
    280 -- 295Bernhard K. Aichernig. Mutation Testing in the Refinement Calculus

    Volume 15, Issue 1

    1 -- 27John Derrick, Graeme Smith. Structural Refinement of Systems Specified in Object-Z and CSP
    28 -- 47Marcel Oliveira, Ana Cavalcanti, Jim Woodcock. ArcAngel: a Tactic Language for Refinement
    48 -- 83Martin C. Henson, Steve Reeves. A Logic for Schema-Based Program Development
    84 -- 99Jifeng He, Qiwen Xu. Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs
    runs on