Electronic Notes in Theoretical Computer Science, Volume 51

Volume 51, 2001

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