External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 175, Issue 1

    1 -- 2Rob J. van Glabbeek, Peter D. Mosses. Preface
    3 -- 17Christiano Braga, Alberto Verdejo. Modular Structural Operational Semantics with Strategies
    19 -- 32Vincent Danos, Jean Krivine, Fabien Tarissan. Self-assembling Trees
    33 -- 43Bartek Klin. Bialgebraic Methods in Structural Operational Semantics: Invited Talk
    45 -- 56Mohammad Reza Mousavi, Michel A. Reniers. On Well-Foundedness and Expressiveness of Promoted Tyft: Being Promoted Makes a Difference
    57 -- 70Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson. Active Evaluation Contexts for Reaction Semantics
    71 -- 75Adrian Pop, Peter Fritzson. An Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics Specifications
    77 -- 88Simone Tini. Notes on Generative Probabilistic Bisimulation
    runs on