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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/3-540-57787-4
  • 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