Graph Transformations in Computer Science

International Workshop Dagstuhl Castle, Germany, January 4–8, 1993 Proceedings

  • Editors
  • Hans Jürgen Schneider
  • Hartmut Ehrig
Conference proceedings

Part of the Lecture Notes in Computer Science book series (LNCS, volume 776)

Table of contents

  1. Front Matter
  2. Marc Andries, Gregor Engels
    Pages 19-36
  3. Erik Barendsen, Sjaak Smetsers
    Pages 51-70
  4. A. Corradini, H. Ehrig, M. Löwe, U. Montanari, F. Rossi
    Pages 86-103
  5. A. Corradini, H. Ehrig, M. Löwe, U. Montanari, F. Rossi
    Pages 104-118
  6. Andrea Corradini, Dietmar Wolz
    Pages 119-137
  7. Bruno Courcelle, Jens Lagergren
    Pages 138-152
  8. Hartmut Ehrig, Hans -Jörg Kreowski, Gabriele Taentzer
    Pages 153-169
  9. Marc Gemis, Jan Paredaens, Peter Peelman, Jan van den Bussche
    Pages 170-187
  10. Ewa Grabska
    Pages 188-202
  11. Michael Löwe, tJürgen Dingel
    Pages 248-264
  12. Andrea Maggiolo-Schettini, Adriano Peron
    Pages 265-279
  13. Ugo Montanari, Francesca Rossi
    Pages 280-295
  14. Jean -Claude Raoult, Frédéric Voisin
    Pages 312-325
  15. Andy Schürr
    Pages 341-357
  16. Sjaak Smetsers, Erik Barendsen, Marko van Eekelen, Rinus Plasmeijer
    Pages 358-379
  17. Back Matter

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

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 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
  • Buy this book on publisher's site