External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 203, Issue 7

    1 -- 2Juliana Küster Filipe Bowles, Iman Poernomo, Ralf Reussner. Preface
    3 -- 22Sotiris Moschoyiannis, Paul J. Krause, Michael W. Shields. A True-Concurrent Interpretation of Behavioural Scenarios
    23 -- 35Samuel Colin, Arnaud Lanoix, Jeanine Souquières. Trustworthy Interface Compliancy: Data Model Adaptation Using B Refinement
    37 -- 53Julia Padberg, Hartmut Ehrig, Fernando Orejas. Towards Component Verification in the Generic Component Framework
    55 -- 69Tomas Matousek, Pavel Jezek. DeSpec: Modeling the Windows Driver Environment
    71 -- 85Peter Szulman. WCET Analysis of Data Dependent, Component Oriented, Embedded Software Systems
    87 -- 101Marieke Huisman, Dilian Gurov. Composing Modal Properties of Programs with Procedures
    103 -- 120Christiano Braga, Fabricio Chalub, Alexandre Sztajnberg. A Formal Semantics for a Quality of Service Contract Language
    121 -- 135Lionel Morel, Louis Mandel. Executable Contracts for Incremental Prototypes of Embedded Systems

    Volume 203, Issue 6

    1 -- 0Hartmut Ehrig, Jochen Pfalzgraf, Ulrike Prange. Preface
    3 -- 17Filippo Bonchi, Ugo Montanari. G-Reactive Systems as Coalgebras
    19 -- 41Zinovy Diskin, Uwe Wolter. A Diagrammatic Logic for Object-Oriented Visual Modeling
    43 -- 66Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas. Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions
    67 -- 88Ulrike Prange. Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories

    Volume 203, Issue 5

    1 -- 2Jirí Adámek, Clemens Kupke. Preface
    3 -- 24Eric Badouel, Maurice Tchoupé Tchendji. Merging Hierarchically-Structured Documents in Workflow Systems
    25 -- 47Yves Bertot, Ekaterina Komendantskaya. Inductive and Coinductive Components of Corecursive Functions in Coq
    49 -- 70Vincenzo Ciancia, Ugo Montanari. A Name Abstraction Functor for Named Sets
    71 -- 92Corina Cîrstea, Mehrnoosh Sadrzadeh. Modular Games for Coalgebraic Fixed Point Logics
    93 -- 107Egbert Fohry. On Products of Transition Systems
    109 -- 129Helle Hvid Hansen. Coalgebraising Subsequential Transducers
    131 -- 152Bart Jacobs. Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems
    153 -- 174Clemens Kupke, Jan J. M. M. Rutten. Observational Coalgebras and Complete Sets of Co-operations
    175 -- 194Alexander Kurz, Daniela Petrisan. Functorial Coalgebraic Logic: The Case of Many-sorted Varieties
    195 -- 220Raul Andres Leal. Predicate Liftings Versus Nabla Modalities
    221 -- 241Dirk Pattinson, Lutz Schröder. Admissibility of Cut in Coalgebraic Logics
    243 -- 262Daniel Schwencke. Coequational Logic for Finitary Functors
    263 -- 284Tarmo Uustalu, Varmo Vene. Comonadic Notions of Computation

    Volume 203, Issue 4

    1 -- 2Joaquin Aguado, Michael Mendler. Preface
    3 -- 17Arnab Ray, Rance Cleaveland. Executable Specifications for Real-Time Distributed Systems
    19 -- 34Pascal Raymond, Yvan Roux, Erwan Jahier. Specifying and Executing Reactive Scenarios With Lutin
    35 -- 48Lydie du Bousquet, Michel Delaunay. Towards Mutation Analysis for Lustre Programs
    49 -- 64Olivier Tardieu, Stephen A. Edwards. Instantaneous Transitions in Esterel
    65 -- 79Marian Boldt, Claus Traulsen, Reinhard von Hanxleden. Worst Case Reaction Time Analysis of Concurrent Reactive Programs
    81 -- 94Roopak Sinha, Partha S. Roop, Samik Basu. A Model Checking Approach to Protocol Conversion
    95 -- 110Florence Maraninchi, Ludovic Samper, Kevin Baradon, Antoine Vasseur. Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks
    111 -- 124Jimin Gao, Mike Whalen, Eric {Van Wyk}. Extending Lustre with Timeout Automata
    125 -- 140David Stauch. Modifying Contracts with Larissa Aspects

    Volume 203, Issue 3

    1 -- 3Dina Q. Goldin, Farhad Arbab. Preface
    5 -- 18Gabriel Ciobanu. Interaction in Time and Space
    19 -- 34Johan Dovland, Einar Broch Johnsen, Olaf Owe. Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
    35 -- 52Roly Perera. Programming Languages For Interactive Computing
    53 -- 67Saikat Mukherjee, Srinath Srinivasa, Satish Chandra D.. Validating for Liveness in Hidden Adversary Systems
    69 -- 94Cezara Dragoi, Gheorghe Stefanescu. AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System
    95 -- 106Carolyn L. Talcott. A Formal Framework for Interactive Agents

    Volume 203, Issue 2

    1 -- 2Anthony Sloane, Adrian Johnstone. Preface
    3 -- 19Paul Klint, Taeke Kooiker, Jurgen J. Vinju. Language Parametric Module Management for IDEs
    21 -- 36Karl Trygve Kalleberg, Eelco Visser. Fusing a Transformation Language with an Open Compiler
    37 -- 51Leonard G. C. Hamey, Shirley Goldrei. Implementing a Domain-Specific Language Using Stratego/XT: An Experience Paper
    53 -- 67Elizabeth Scott. SPPF-Style Parsing From Earley Recognisers
    69 -- 84Sylvain Schmitz. An Experimental Ambiguity Detection Tool
    85 -- 101Eric Bouwers, Martin Bravenboer, Eelco Visser. Grammar Engineering Support for Precedence Rule Recovery and Compatibility Checking
    103 -- 116Eric {Van Wyk}, Derek Bodin, Jimin Gao, Lijesh Krishnan. Silver: an Extensible Attribute Grammar System
    117 -- 131Johan {\AA}kesson, Torbjörn Ekman, Görel Hedin. Development of a Modelica Compiler Using JastAdd

    Volume 203, Issue 1

    1 -- 2Ian Mackie, Detlef Plump. Preface
    3 -- 17Emilie Balland, Paul Brauner. Term-graph Rewriting in Tom Using Relative Positions
    19 -- 30Denis Béchet, Sylvain Lippi. Universal Boolean Systems
    31 -- 48Denis Béchet, Sylvain Lippi. Hard combinators
    49 -- 63Davide Grohmann, Marino Miculan. An Algebra for Directed Bigraphs
    65 -- 77Guillaume Bonfante, Yves Guiraud. Intensional Properties of Polygraphs
    79 -- 92Abubakar Hassan, Shinya Sato. Interaction Nets With Nested Pattern Matching
    93 -- 108Herman Geuvers, Iris Loeb. Deduction Graphs with Universal Quantification
    109 -- 121Christophe Fouqueré, Virgile Mogbil. Rewritings for Polarized Multiplicative and Exponential Proof Structures
    123 -- 133François-Régis Sinot. Sub-lambda-calculi, Classified
    135 -- 148Martin Strecker. Modeling and Verifying Graph Transformations in Proof Assistants
    runs on