Electronic Notes in Theoretical Computer Science, Volume 51

Volume 51, 2001

• Michel Bauderon, Andrea Corradini:
  Preface.
  
• Andrea Corradini:
  GETGRATS: A summary of scientific results (with annotated bibliography).
  
• Paolo Baldan:
  Concurrency for Graph Grammars in a Petri net shell.
  
• Michel Bauderon, Hélène Jacquet, Renate Klempien-Hinrichs:
  Pullback rewriting and applications.
  
• Michel Bauderon, Yves Métivier, Mohamed Mosbah, Afif Sellami:
  Graph Relabelling Systems: a Tool for Encoding, Proving, Studying and Visualizing - Distributed Algorithms.
  
• Andrea Corradini, Fabio Gadducci:
  Categorical rewriting of term-like structures.
  
• Bruno Courcelle:
  Graph Operations, Graph Transformations and Monadic Second-Order Logic: a survey.
  
• Hartmut Ehrig, Annegret Habel, Francesco Parisi-Presicce:
  Basic Results for Two Types of High-Level Replacement Systems.
  
• Reiko Heckel, Gregor Engels:
  Towards a Formal Framework for Inter-Enterprise Application Integration.
  
• Martin Große-Rhode:
  Algebra Transformation Systems as a Unifying Framework.
  
• Annegret Habel, Detlef Plump:
  Solving Equations by Graph Transformation.
  
• Dan Hirsch, Ugo Montanari:
  Two Graph-Based Techniques for Software Architecture Reconfiguration.
  
• Dirk Janssens:
  Processes and Local Actions.
  
• Renate Klempien-Hinrichs:
  Context-free hypergraph grammars with node rewriting.
  
• Manuel Koch:
  A graph-based approach to the compositional specification of distributed systems.
  
• Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce:
  Graph Transformations for the Specification of Access Control Policies.
  
• Hans-Jörg Kreowski, Giorgio Busatto, Renate Klempien-Hinrichs, Peter Knirsch, Sabine Kuske:
  Structured Modeling with GRACE.
  
• Sabine Kuske:
  Parameterized Transformation Units.
  
• Giacomo Lenzi:
  Monadic Second Order Logic And Its Fragments.
  
• Mercè Llabrés, Francesc Rosselló:
  Towards a Double Pushout Transformation of Algebras.
  
• Detlef Plump:
  Essentials of Term Graph Rewriting.
  
• Marta Simeoni:
  An Abstract Module Concept for Graph Transformation Systems.
  
• Gabriele Taentzer:
  Visual Modeling of Distributed Object Systems by Graph Transformation.