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)

• 
  Joaquin 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 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