Electronic Notes in Theoretical Computer Science, Volume 203

Volume 203, Number 1, March 2008

Proceedings of the Fourth International Workshop on Computing with Terms and Graphs (TERMGRAPH 2007)

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

Volume 203, Number 2, April 2008

Proceedings of the Seventh Workshop on Language Descriptions, Tools, and Applications (LDTA 2007)

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

Volume 203, Number 3, May 2008

Proceedings of the Workshop on the Foundations of Interactive Computation (FInCo 2007)

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

Volume 203, Number 4, June 2008

Proceedings of the International Workshop on Model-driven High-level Programming of Embedded Systems (SLA++P 2007)

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

Volume 203, Number 5, June 2008

Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science (CMCS 2008)

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

Volume 203, Number 6, November 2008

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

Volume 203, Number 7, April 2009

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