External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 39, Issue 1

    3 -- 20Jos C. M. Baeten. Embedding Untimed into Timed Process Algebra; the Case for Explicit Termination
    21 -- 46Martin Berger, Kohei Honda. The Two-Phase Commitment Protocol in an Extended pi-Calculus
    47 -- 64Flavio Corradini, Dino Di Cola. The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes
    65 -- 78Shoham Shamir, Orna Kupferman, Eli Shamir. Branching-Depth Hierarchies
    79 -- 93Jirí Srba. Complexity of Weak Bisimilarity and Regularity for BPA and BPP
    94 -- 117Pascal Zimmer. On the Expressiveness of Pure Mobile Ambients
    runs on