Graph Grammars and Their Application to Computer Science: 5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Selected Papers., Volume 5
Springer Science & Business Media, May 8, 1996 - Computers - 564 pages
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.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
abstract algorithm application approach binary relation called cell clan composition computation structure Computer Science condition configuration connected consists construction context-free control flow graphs corresponding defined definition denoted derivation steps diagram direct derivation double-pushout Ehrig embedding eNCE graph grammars equivalence event structure example exists Figure finite set flow graph function functor given gragra graph class specification graph G graph grammars graph languages graph morphisms graph production graph rewriting graph transformation HD-graph homomorphism HRNCE hyperedge hypergraph input interface interleaving sequence isomorphic Kreowski L-systems Lemma linear LNCS mapping matching module node labels nonterminal nonterminal node notion operations parallel partial algebras partial order Petri nets picture languages port problem production Proof properties pullback pushout redexes relation result rewrite rules rewriting systems right-hand side Rozenberg S-HRNCE semantics sequence subgraph synchronized term graph terminal Theorem tion transformation units transition tree typed graph vertex vertices