Volume 51, 2001
GETGRATS Closing Workshop
Bordeaux, June 22-23, 2001
- Andrea Corradini:
GETGRATS: A summary of scientific results (with annotated bibliography).
1-64
- Paolo Baldan:
Concurrency for Graph Grammars in a Petri net shell.
65-82
- Michel Bauderon, Hélène Jacquet, Renate Klempien-Hinrichs:
Pullback rewriting and applications.
83-92
- Michel Bauderon, Yves Métivier, Mohamed Mosbah, Afif Sellami:
Graph Relabelling Systems: a Tool for Encoding, Proving, Studying and Visualizing - Distributed Algorithms.
93-107
- Andrea Corradini, Fabio Gadducci:
Categorical rewriting of term-like structures.
108-121
- Bruno Courcelle:
Graph Operations, Graph Transformations and Monadic Second-Order Logic: a survey.
122-126
- Hartmut Ehrig, Annegret Habel, Francesco Parisi-Presicce:
Basic Results for Two Types of High-Level Replacement Systems.
127-138
- Reiko Heckel, Gregor Engels:
Towards a Formal Framework for Inter-Enterprise Application Integration.
139-151
- Martin Große-Rhode:
Algebra Transformation Systems as a Unifying Framework.
152-164
- Annegret Habel, Detlef Plump:
Solving Equations by Graph Transformation.
165-176
- Dan Hirsch, Ugo Montanari:
Two Graph-Based Techniques for Software Architecture Reconfiguration.
177-190
- Dirk Janssens:
Processes and Local Actions.
191-201
- Renate Klempien-Hinrichs:
Context-free hypergraph grammars with node rewriting.
202-211
- Manuel Koch:
A graph-based approach to the compositional specification of distributed systems.
212-221
- Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce:
Graph Transformations for the Specification of Access Control Policies.
222-232
- Hans-Jörg Kreowski, Giorgio Busatto, Renate Klempien-Hinrichs, Peter Knirsch, Sabine Kuske:
Structured Modeling with GRACE.
233-245
- Sabine Kuske:
Parameterized Transformation Units.
246-257
- Giacomo Lenzi:
Monadic Second Order Logic And Its Fragments.
258-264
- Mercè Llabrés, Francesc Rosselló:
Towards a Double Pushout Transformation of Algebras.
265-276
- Detlef Plump:
Essentials of Term Graph Rewriting.
277-289
- Marta Simeoni:
An Abstract Module Concept for Graph Transformation Systems.
290-303
- Gabriele Taentzer:
Visual Modeling of Distributed Object Systems by Graph Transformation.
304-318
- Michel Bauderon, Andrea Corradini:
Preface.
319
Last update Thu May 23 18:44:55 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
