Volume 51, 2001
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
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
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
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



