External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 16, Issue 3

    173 -- 0J. E. White. Why networks aren t programmable (or, why programs aren t protocols)
    174 -- 188Matthew Hennessy, James Riely. Resource Access Control in Systems of Mobile Agents
    189 -- 204Vasco Thudichum Vasconcelos, Luís M. B. Lopes, Fernando M. A. Silva. Distribution and Mobility with Lexical Scoping in Process Calculi
    205 -- 224Fabrice Le Fessant, Luc Maranget. Compiling Join-Patterns
    225 -- 247Eijiro Sumii, Naoki Kobayashi. A Generalized Deadlock-Free Process Calculus
    248 -- 264Andrew D. Gordon, Paul D. Hankin. A Concurrent Object Calculus: Reduction and Typing
    265 -- 290Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy. LambdaS: an implicitly parallel lambda-calculus with letrec, synchronization and side-effects
    291 -- 0Uwe Nestmann, Benjamin C. Pierce. Preface

    Volume 16, Issue 2

    61 -- 74Jos C. M. Baeten, Jan A. Bergstra. Deadlock Behaviour in Split and ST Bisimulation Semantics
    75 -- 96Antonio Brogi, Jean-Marie Jacquet. On the Expressiveness of Linda-like Concurrent Languages
    97 -- 0Matthew Hennessy. A survey of location calculi
    98 -- 113H. C. M. Kleijn, Rémi Morin, Brigitte Rozoy. Event Structures for Local Traces
    114 -- 132Marta Z. Kwiatkowska, Gethin J. Norman. A Testing Equivalence for Reactive Probabilistic Processes
    133 -- 144Massimo Merro. On the Expressiveness of Chi, Update, and Fusion calculi
    145 -- 152Uwe Nestmann. On the Expressive Power of Joint Input
    153 -- 0P. S. Thiagarajan. Some Logical and Automata-Theoretic Aspects of Product Behaviours
    154 -- 170Gianluigi Zavattaro. Towards a Hierarchy of Negative Test Operators for Generative Communication
    171 -- 172Ilaria Castellani, Catuscia Palamidessi. Preface

    Volume 16, Issue 1

    1 -- 22Eric Monfroy. An Environment for Designing/Executing Constraint Solver Collaborations
    23 -- 0Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. Translations of Vocabularies in Systems of Communicating Agents
    24 -- 41Simone Tini, Andrea Maggiolo-Schettini. Two semantics for Timed Default Concurrent Constraint Programming
    42 -- 59Max I. Kanovich, Mitsuhiro Okada, Andre Scedrov. Specifying Real-Time Finite-State Systems in Linear Logic
    60 -- 0Frank S. de Boer, Maurizio Gabbrielli. Preface
    runs on