External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 194, Issue 2

    1 -- 0Roberto M. Amadio, Thomas T. Hildebrandt. Preface
    3 -- 29Johannes Borgström, Andrew D. Gordon, Andrew Phillips. A Chart Semantics for the Pi-Calculus
    31 -- 57Mario Bravetti. Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems
    59 -- 84Diletta Cacciagrano, Flavio Corradini, Jesús Aranda, Frank D. Valencia. Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus
    85 -- 99Bjørn Haagensen, Sergio Maffeis, Iain Phillips. Matching Systems for Concurrent Calculi
    runs on