Table of contents (24 papers)

  1. Front Matter
  2. Syntax and semantics of hybrid database languages
    Marc Andries, Gregor Engels
    Pages 19-36
  3. Extending graph rewriting with copying
    Erik Barendsen, Sjaak Smetsers
    Pages 51-70
  4. Abstract graph derivations in the double pushout approach
    A. Corradini, H. Ehrig, M. Löwe, U. Montanari, F. Rossi
    Pages 86-103
  5. Note on standard representation of graphs and graph derivations
    A. Corradini, H. Ehrig, M. Löwe, U. Montanari, F. Rossi
    Pages 104-118
  6. Jungle rewriting: An abstract description of a lazy narrowing machine
    Andrea Corradini, Dietmar Wolz
    Pages 119-137
  7. Recognizable sets of graphs of bounded tree-width
    Bruno Courcelle, Jens Lagergren
    Pages 138-152
  8. Canonical derivations for high-level replacement systems
    Hartmut Ehrig, Hans -Jörg Kreowski, Gabriele Taentzer
    Pages 153-169
  9. A computational model for generic graph functions
    Marc Gemis, Jan Paredaens, Peter Peelman, Jan van den Bussche
    Pages 170-187
  10. Graphs and designing
    Ewa Grabska
    Pages 188-202
  11. Parallelism in single-pushout graph rewriting
    Michael Löwe, tJürgen Dingel
    Pages 248-264
  12. Semantics of full statecharts based on graph rewriting
    Andrea Maggiolo-Schettini, Adriano Peron
    Pages 265-279
  13. Contextual occurrence nets and concurrent constraint programming
    Ugo Montanari, Francesca Rossi
    Pages 280-295

About these proceedings


The research area of graph grammars and graph transformations dates back only two decades. But already methods and results from the area of graph transformation have been applied in many fields of computer science, such as formal language theory, pattern recognition and generation, compiler construction, software engineering, concurrent and distributed systems modelling, and database design and theory. This volume contains 24 selected and revised papers from an international seminar held in Dagstuhl, Germany, in 1993. The papers cover topics in the following areas: foundations of graph grammars and transformations; and applications of graph transformations to concurrent computing, specification and programming, and pattern generation and recognition.


Graph Graph Grammars Graph Rewriting Graph Transformations Graphersetzungen Graphgrammatiken Graphical Structures Graphische Strukturen Graphtransformationen Petri-Nets Petri-Netze formal language modeling pattern recognition

Bibliographic information

  • Copyright Information Springer-Verlag 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-57787-4
  • Online ISBN 978-3-540-48333-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349