External Links

    Journal: Nord. J. Comput.

    Volume 10, Issue 2

    69 -- 0Uwe Nestmann, Prakash Panangaden. Guest Editors Foreword
    70 -- 98Marco Carbone, Sergio Maffeis. On the Expressive Power of Polyadic Synchronisation in pi-calculus
    99 -- 133Joël Ouaknine, James Worrell. Timed CSP = Closed Timed epsilon-automata
    134 -- 162Maribel Fernández, Lionel Khalil. Interaction Nets with McCarthy s amb: Properties and Applications
    163 -- 0Vladimiro Sassone, Pawel Sobocinski. Deriving Bisimulation Congruences using 2-categories
    runs on