External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 229, Issue 4

    1 -- 2Matthew Hennessy, Bartek Klin. Preface
    3 -- 10Vincent Danos. Agile Modelling of Cellular Signalling (Invited Paper)
    11 -- 26Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink. MarCaSPiS: a Markovian Extension of a Calculus for Services
    27 -- 47Eike Best, Kerstin Strecker. Relational Semantics Revisited
    49 -- 66Peter D. Mosses, Mark J. New. Implicit Propagation in Structural Operational Semantics
    67 -- 84Gustavo A. Ospina, Baudouin Le Charlier. Formalisation of C Language Interfaces
    85 -- 106Muck van Weerdenburg, Michel A. Reniers. Structural Operational Semantics with First-Order Logic
    107 -- 118Muck van Weerdenburg. Automating Soundness Proofs
    runs on