External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 85, Issue 1

    1 -- 2Vladimiro Sassone. Preface
    3 -- 23Lennart Beringer, Kenneth Mackenzie, Ian Stark. Grail: a functional form for imperative mobile code
    24 -- 0David Teller. Formalisms for mobile resource control
    25 -- 38Taolue Chen, Tingting Han, Jian Lu. Intensionality of modal logic for Robust Ambient Calculus
    39 -- 0David de Frutos-Escrig, Olga Marroquín Alonso. Ambient Petri nets
    40 -- 60Jean-Bernard Stefani. A calculus of Kells
    61 -- 79António Ravara, Ana Gualdina Almeida Matos, Vasco Thudichum Vasconcelos, Luís M. B. Lopes. Lexically scoped distribution: what you see is what you get
    80 -- 0Xudong Guan. Towards a tree of channels
    runs on