External Links

    Journal: Formal Asp. Comput.

    Volume 3, Issue 4

    315 -- 325Peter Baumann. Towards a Semantics-Based Information Theory
    326 -- 345Rolf Hennicker. Context Induction: A Proof Principle for Behavioural Abstractions and Algebraic Implementations
    346 -- 366Matthew Hennessy. A Proof Sustem for Communicating Processes with Value-Passing
    runs on