Research Catalog

Title

Graph grammars and their application to computer science : 5th international workshop, Williamsburg, VA, USA, November 13-18, 1994 : selected papers / J. Cuny [and others] (eds.).

Publication

Berlin ; New York : Springer, [1996], ©1996.

Items in the Library & Off-site

Holdings

Details

Additional Authors

Cuny, J. (Janice)

Description

x, 564 pages : illustrations; 24 cm.

Series Statement

Lecture notes in computer science ; 1073

Uniform Title

Lecture notes in computer science ; 1073.

Subjects

• Computer science > Congresses
• Graph grammars > Congresses

Bibliography (note)

• Includes bibliographical references and index.

Contents

• A Partial Algebras Approach to Graph Transformation / R. Alberich, P. Burmeister, F. Rossello, G. Valiente and B. Wojdyto -- The Contractum in Algebraic Graph Rewriting / R. Banach -- A Category-Theoretical Approach to Vertex Replacement: The Generation of Infinite Graphs / M. Bauderon -- Issues in the Practical Use of Graph Rewriting / D. Blostein, H. Fahmy and A. Grbavec -- The Category of Typed Graph Grammars and its Adjunctions with Categories of Derivations / A. Corradini, H. Ehrig, M. Lowe, U. Montanari and J. Padberg -- Graph Unification and Matching / D. Plump and A. Habel -- On the Interleaving Semantics of Transformation Units - A Step into GRACE / H.-J. Kreowski and S. Kuske -- A Graph Rewriting Framework for Statecharts Semantics / A. Maggiolo-Schettini and A. Peron -- Programmed Graph Transformations and Graph Transformation Units in GRACE / A. Schurr -- Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems / H. Ehrig and G. Engels --
• Software Integration Problems and Coupling of Graph Grammar Specifications / M. Nagl and A. Schurr -- Using Attributed Flow Graph Parsing to Recognize Cliches in Programs / L. M. Wills -- Reconfiguration Graph Grammar for Massively Parallel, Fault Tolerant Computers / M. D. Derk and L. S. DeBrunner -- The Use of Tree Transducers to Compute Translations Between Graph Algebras / F. Drewes -- The Bounded Degree Problem for Non-Obstructing eNCE Graph Grammars / K. Skodinis and E. Wanke -- Process Specification and Verification / K. Barthelmann -- An Event Structure Semantics for Graph Grammars with Parallel Productions / A. Corradini, H. Ehrig, M. Lowe, U. Montanari and F. Rossi -- Synchronized Composition of Graph Grammar Productions / A. Corradini and F. Rossi -- The Decomposition of ESM Computations / D. Janssens -- Formal Relationship between Graph Grammars and Petri Nets / M. Korff and L. Ribeiro -- Hierarchically Distributed Graph Transformation / G. Taentzer --
• On Edge Addition Rewrite Systems and their Relevance to Program Analysis / U. Assmann -- Graph Automata for Linear Graph Languages / F. J. Brandenburg and K. Skodinis -- The Obstructions of a Minor-Closed Set of Graphs Defined by Hyperedge Replacement can be Constructed / B. Courcelle and G. Senizergues -- Concatenation of Graphs / J. Engelfriet and J. J. Vereijken -- HRNCE Grammars - A Hypergraph Generating System with an eNCE Way of Rewriting / C. Kim and T. E. Jeong -- Node Replacement in Hypergraphs: Simulation of Hyperedge Replacement, and Decidability of Confluence / R. Klempien-Hinrichs -- Chain-Code Pictures and Collages Generated by Hyperedge Replacement / J. Dassow, A. Habel and S. Taubenberger -- Transformations of Graph Grammars / F. Parisi-Presicce -- Drawing Graphs with Attribute Graph Grammars / G. Zinssmeister and C. L. McCreary -- Graph Pattern Matching in PROGRES / A. Zundorf --
• A Technique for Recognizing Graphs of Bounded Treewidth with Application to Subclasses of Partial 2-Paths / S. Arnborg and A. Proskurowski -- The Definition in Monadic Second-Order Logic of Modular Decompositions of Ordered Graphs / B. Courcelle -- Group Based Graph Transformations and Hierarchical Representations of Graphs / A. Ehrenfeucht, T. Harju and G. Rozenberg -- Integrating Lineage and Interaction for the Visualization of Cellular Structures / F. D. Fracchia -- Cellworks with Cell Rewriting and Cell Packing for Plant Morphogenesis / J. Luck and H. B. Luck -- Subapical Bracketed L-Systems / P. Prusinkiewicz and L. Kari.

ISBN

3540612289 (pbk. : acid-free paper)

LCCN

96002726

OCLC

ocm34617828

Owning Institutions

Columbia University Libraries