Skip to main content
SpringerLink
Log in

Graph Grammars and Their Application to Computer Science

5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Selected Papers.

  • Conference proceedings
  • © 1996

Overview

Editors:
  1. Janice Cuny
    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

  3. Gregor Engels
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Grzegorz Rozenberg
    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 1073)

Included in the following conference series:

Conference proceedings info: Graph Grammars 1994.

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 109.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 (37 papers)

  1. Front Matter

    Download chapter PDF

  2. A partial algebras approach to graph transformation

    • R. Alberich, P. Burmeister, F. Rosselló, G. Valiente, B. Wojdyto
    Pages 1-15

  3. The contractum in algebraic graph rewriting

    • R. Banach
    Pages 16-26

  4. A category-theoretical approach to vertex replacement: The generation of infinite graphs

    • Michel Bauderon
    Pages 27-37

  5. Issues in the practical use of graph rewriting

    • Dorothea Blostein, Hoda Fahmy, Ann Grbavec
    Pages 38-55

  6. The category of typed graph grammars and its adjunctions with categories of derivations

    • A. Corradini, H. Ehrig, M. Löwe, U. Montanari, J. Padberg
    Pages 56-74

  7. Graph unification and matching

    • Detlef Plump, Annegret Habel
    Pages 75-88

  8. On the interleaving semantics of transformation units — A step into GRACE

    • Hans-Jörg Kreowski, Sabine Kuske
    Pages 89-106

  9. A graph rewriting framework for Statecharts semantics

    • Andrea Maggiolo-Schettini, Adriano Peron
    Pages 107-121

  10. Programmed graph transformations and graph transformation units in GRACE

    • Andy Schürr
    Pages 122-136

  11. Pragmatic and semantic aspects of a module concept for graph transformation systems

    • Hartmut Ehrig, Gregor Engels
    Pages 137-154

  12. Software integration problems and coupling of graph grammar specifications

    • Manfred Nagl, Andy Schürr
    Pages 155-169

  13. Using attributed flow graph parsing to recognize clichés in programs

    • Linda Mary Wills
    Pages 170-184

  14. Reconfiguration Graph Grammar for massively parallel, fault tolerant computers

    • M. D. Derk, L. S. DeBrunner
    Pages 185-195

  15. The use of tree transducers to compute translations between graph algebras

    • Frank Drewes
    Pages 196-210

  16. The bounded degree problem for non-obstructing eNCE graph grammars

    • K. Skodinis, E. Wanke
    Pages 211-224

  17. Process specification and verification

    • Klaus Barthelmann
    Pages 225-239

  18. An event structure semantics for graph grammars with parallel productions

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

  19. Synchronized composition of graph grammar productions

    • Andrea Corradini, Francesca Rossi
    Pages 257-270

  20. The decomposition of ESM computations

    • D. Janssens
    Pages 271-287
Back to top

Other volumes

  1. Graph Grammars and Their Application to Computer Science

Keywords

About this book

This book contains a collection of 37 refereed full papers selected from the contributions presented at the 5th International Workshop on Graph Grammars and Their Applications to Computer Science, held in Williamsburg, Virginia, USA, in November 1994.
The book covers the whole spectrum of methods and techniques for the investigation of the structure of graphs and graph transformations. The papers are divided into nine topical sections on rewriting techniques, specification and semantics, software engineering, algorithms and architectures, concurrency, graph languages, pattern and graphics, structure and logic of graphs, and biology.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation