
Electronic Notes in Theoretical Computer Science, Volume 203
Volume 203, Number 1, March 2008
- 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
- 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
- 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
- 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
- Jirí Adámek, Clemens Kupke:
Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science, CMCS 2008, Budapest, Hungary, April 4-6, 2008. Electronic Notes in Theoretical Computer Science 203(5), Elsevier 2008 [contents]
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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.