External Links

    Journal: Inf. Comput.

    Volume 191, Issue 2

    105 -- 144Gerald Lüttgen, Walter Vogler. Bisimulation on speed: worst-case efficiency
    145 -- 202Nobuko Yoshida, Martin Berger, Kohei Honda. Strong normalisation in the pi -calculus
    203 -- 232Luca Aceto, Wan Fokkink, Rob J. van Glabbeek, Anna Ingólfsdóttir. Nested semantics over finite trees are equationally hard

    Volume 191, Issue 1

    1 -- 40Joseph Y. Halpern, Richard A. Shore. Reasoning about common knowledge with infinitely many agents
    41 -- 103Adriana B. Compagnoni. Higher-order subtyping and its decidability
    runs on