External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 175, Issue 4

    1 -- 2Arend Rensink, Reiko Heckel, Barbara König. Preface
    3 -- 19Lars Birkedal, Troels Christoffer Damgaard, Arne J. Glenstrup, Robin Milner. Matching of Bigraphs
    21 -- 36Claudia Faggian, Mauro Piccolo. A Graph Abstract Machine Describing Event Structure Composition
    37 -- 50László Gönczy, Máté Kovács, Dániel Varró. Modeling and Verification of Reliable Messaging by Graph Transformation Systems
    51 -- 61Filippo Bonchi, Tobias Heindel. Adhesive DPO Parallelism for Monic Matches
    63 -- 72Vitali Kozioura. Verification of Random Graph Transformation Systems
    73 -- 86Piotr Kosiuczenko, Georgios Lajios. Simulation of Generalised Semi-Markov Processes based on Graph Transformation Systems
    87 -- 100Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig. Termination Criteria for DPO Transformations with Injective Matches
    101 -- 114Ana Paula Lüdtke Ferreira, Luciana Foss, Leila Ribeiro. Formal Verification of Object-Oriented Graph Grammars Specifications

    Volume 175, Issue 3

    1 -- 2Roberto M. Amadio, Iain Phillips. Preface
    3 -- 26Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi. Fair Pi
    27 -- 46Xu Wang, Marta Z. Kwiatkowska. Compositional State Space Reduction Using Untangled Actions
    47 -- 64Ahmed Bouajjani, Jan Strejcek, Tayssir Touili. On Symbolic Verification of Weakly Extended PAD
    65 -- 73Robin Milner. Local Bigraphs and Confluence: Two Conjectures: (Extended Abstract)
    75 -- 86Vincent Danos, Jean Krivine, Pawel Sobocinski. General Reversibility
    87 -- 108Daniele Gorla. Synchrony vs Asynchrony in Communication Primitives
    109 -- 129Lucy Saunders-Evans, Glynn Winskel. Event Structure Spans for Nondeterministic Dataflow
    131 -- 149Luís Caires, Hugo Torres Vieira. Extensionality of Spatial Observations in Distributed Systems

    Volume 175, Issue 2

    1 -- 2Carlos Canal, Mirko Viroli. Preface
    3 -- 17Gabriel Ciobanu, Cristian Prisacariu. Coordination by Timers for Channel-Based Anonymous Communications
    19 -- 37Sascha Klüppelholz, Christel Baier. Symbolic Model Checking for Channel-based Component Connectors
    39 -- 57Marco Antonio Barbosa, Luís Soares Barbosa. Configurations of Web Services
    59 -- 80Matteo Casadei, Luca Gardelli, Mirko Viroli. Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
    81 -- 95Antonio Brogi, Javier Cámara, Carlos Canal, Javier Cubo, Ernesto Pimentel. Dynamic Contextual Adaptation
    97 -- 117Andrea Omicini. Formal ReSpecT in the A&A Perspective
    119 -- 134Michael Köhler, Heiko Rölke. Dynamic Transition Refinement
    135 -- 151Juliana Küster Filipe, Sotiris Moschoyiannis. Concurrent Logic and Automata Combined: A Semantics for Components
    153 -- 167Tom Chothia, Jetty Kleijn. Q-Automata: Modelling the Resource Usage of Concurrent Components

    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