External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 52, Issue 1

    1 -- 20Anne Labroue, Ph. Schnoebelen. An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems
    21 -- 31Alan Martin. Adequate Sets of Temporal Connectives in CTL
    32 -- 45Julian C. Bradfield, Sibylle B. Fröschle. On Logical and Concurrent Equivalences
    46 -- 65Jan Strejcek. Rewrite Systems with Constraints
    66 -- 82Roberto M. Amadio, Charles Meyssonnier. On the Decidability of Fragments of the Asynchronous pi-Calculus
    83 -- 100K. V. S. Prasad. Broadcast Calculus Interpreted in CCS upto Bisimulation
    101 -- 119Tom Chothia, Ian Stark. Encoding Distributed Areas and Local Communication into the pi-Calculus
    120 -- 136Dina Q. Goldin, Scott A. Smolka, Peter Wegner. Turing Machines, Transition Systems, and Interaction
    137 -- 138Luca Aceto, Prakash Panangaden. Preface
    runs on