External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 138, Issue 1

    1 -- 0Julian Rathke. Preface
    3 -- 22Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter. Typechecking Safe Process Synchronization
    23 -- 42. Security Policies as Membranes in Systems for Global Computing
    43 -- 60Ivan Lanese, Ugo Montanari. Synchronization Algebras with Mobility for Graph Transformations
    61 -- 77Yongjian Li. Contextual Labelled Semantics for Higher-order Process Calculi
    79 -- 101Alwen Fernanto Tiu, Dale Miller. A Proof Search Specification of the pi-Calculus
    runs on