Skip to main content
SpringerLink
Log in
Book cover

Graph Transformations in Computer Science

International Workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993. Proceedings

  • Conference proceedings
  • © 1994

Overview

Editors:
  1. Hans Jürgen Schneider
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Hartmut Ehrig
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (24 papers)

  1. Front Matter

    Download chapter PDF

  2. Path-controlled graph grammars for multiresolution image processing and analysis

    • Kunio Aizawa, Akira Nakamura
    Pages 1-18

  3. Syntax and semantics of hybrid database languages

    • Marc Andries, Gregor Engels
    Pages 19-36

  4. Decomposability helps for deciding logics of knowledge and belief

    • Stefan Arnborg
    Pages 37-50

  5. Extending graph rewriting with copying

    • Erik Barendsen, Sjaak Smetsers
    Pages 51-70

  6. Graph-grammar semantics of a higher-order programming language for distributed systems

    • Klaus Barthelmann, Georg Schied
    Pages 71-85

  7. Abstract graph derivations in the double pushout approach

    • A. Corradini, H. Ehrig, M. Löwe, U. Montanari, F. Rossi
    Pages 86-103

  8. Note on standard representation of graphs and graph derivations

    • A. Corradini, H. Ehrig, M. Löwe, U. Montanari, F. Rossi
    Pages 104-118

  9. Jungle rewriting: An abstract description of a lazy narrowing machine

    • Andrea Corradini, Dietmar Wolz
    Pages 119-137

  10. Recognizable sets of graphs of bounded tree-width

    • Bruno Courcelle, Jens Lagergren
    Pages 138-152

  11. Canonical derivations for high-level replacement systems

    • Hartmut Ehrig, Hans -Jörg Kreowski, Gabriele Taentzer
    Pages 153-169

  12. A computational model for generic graph functions

    • Marc Gemis, Jan Paredaens, Peter Peelman, Jan van den Bussche
    Pages 170-187

  13. Graphs and designing

    • Ewa Grabska
    Pages 188-202

  14. ESM systems and the composition of their computations

    • D. Janssens
    Pages 203-217

  15. Relational structures and their partial morphisms in view of single pushout rewriting

    • Yasuo Kawahara, Yoshihiro Mizoguchi
    Pages 218-233

  16. Single pushout transformations of equationally defined graph structures with applications to actor systems

    • Martin Korff
    Pages 234-247

  17. Parallelism in single-pushout graph rewriting

    • Michael Löwe, tJürgen Dingel
    Pages 248-264

  18. Semantics of full statecharts based on graph rewriting

    • Andrea Maggiolo-Schettini, Adriano Peron
    Pages 265-279

  19. Contextual occurrence nets and concurrent constraint programming

    • Ugo Montanari, Francesca Rossi
    Pages 280-295

  20. Uniform-modelling in graph grammar specifications

    • M. Nagl
    Pages 296-311
Back to top

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation