## Janice E. Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg

*Selected Papers of the Fifth International Workshop on Graph Grammars and Their Application to Computer Science and Biology*

TAGT, 1994.

@proceedings{TAGT-1994, address = "Williamsburg, Virginia, USA", editor = "Janice E. Cuny and Hartmut Ehrig and Gregor Engels and Grzegorz Rozenberg", isbn = "3-540-61228-9", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Selected Papers of the Fifth International Workshop on Graph Grammars and Their Application to Computer Science and Biology}", volume = 1073, year = 1994, }

### Contents (37 items)

- TAGT-1994-AlberichBRVW #algebra #approach #graph transformation
- A Partial Algebras Approach to Graph Transformation (RA, PB, FR, GV, BW), pp. 1–15.
- TAGT-1994-Banach #algebra #graph grammar
- The Contractum in Algebraic Graph Rewriting (RB), pp. 16–26.
- TAGT-1994-Bauderon #approach #generative #graph #infinity
- A Category-Theoretical Approach to Vertex Replacement: The Generation of Infinite Graphs (MB), pp. 27–37.
- TAGT-1994-BlosteinFG #graph grammar #using
- Issues in the Practical Use of Graph Rewriting (DB, HF, AG), pp. 38–55.
- TAGT-1994-CorradiniELMP #category theory #graph grammar
- The Category of Typed Graph Grammars and its Adjunctions with Categories (AC, HE, ML, UM, JP), pp. 56–74.
- TAGT-1994-PlumpH #graph #unification
- Graph Unification and Matching (DP, AH), pp. 75–88.
- TAGT-1994-KreowskiK #on the
- On the Interleaving Sematics of Transformation Units — A Step into GRACE (HJK, SK), pp. 89–106.
- TAGT-1994-Maggiolo-SchettiniP #framework #graph grammar #semantics
- A Graph Rewriting Framework for Statecharts Semantics (AMS, AP), pp. 107–121.
- TAGT-1994-Schurr #graph transformation
- Programmed Graph Transformations and Graph Transformation Units in GRACE (AS), pp. 122–136.
- TAGT-1994-EhrigE #aspect-oriented #concept #graph transformation #semantics
- Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems (HE, GE), pp. 137–154.
- TAGT-1994-NaglS #graph grammar #integration #problem #specification
- Software Integration Problems and Coupling of Graph Grammar Specifications (MN, AS), pp. 155–169.
- TAGT-1994-Wills #graph #parsing #source code #using
- Using Attributed Flow Graph Parsing to Recognize Clichés in Programs (LMW), pp. 170–184.
- TAGT-1994-DerkD #configuration management #fault tolerance #graph grammar #parallel
- Reconfiguration Graph Grammar for Massively Parallel, Fault Tolerant Computers (MDD, LSD), pp. 185–195.
- TAGT-1994-Drewes #algebra #graph #transducer #using
- The Use of Tree Transducers to Compute Translations Between Graph Algebras (FD), pp. 196–210.
- TAGT-1994-SkodinisW #bound #graph grammar #problem
- The Bounded Degree Problem for Non-Obstructing eNCE Graph Grammars (KS, EW), pp. 211–224.
- TAGT-1994-Barthelmann #process #specification #verification
- Process Specification and Verification (KB), pp. 225–239.
- TAGT-1994-CorradiniELMR #graph grammar #parallel #semantics
- An Event Structure Semantics for Graph Grammars with Parallel Productions (AC, HE, ML, UM, FR), pp. 240–256.
- TAGT-1994-CorradiniR #composition #graph grammar
- Synchronized Composition of Graph Grammar Productions (AC, FR), pp. 257–270.
- TAGT-1994-Janssens #composition
- The Decomposition of ESM Computations (DJ), pp. 271–287.
- TAGT-1994-KorffR #graph grammar #petri net
- Formal Relationship between Graph Grammars and Petri Nets (MK, LR), pp. 288–303.
- TAGT-1994-Taentzer #distributed #graph transformation
- Hierarchically Distributed Graph Transformation (GT), pp. 304–320.
- TAGT-1994-Assmann #on the #program analysis #term rewriting
- On Edge Addition Rewrite Systems and their Relevance to Program Analysis (UA), pp. 321–335.
- TAGT-1994-BrandenburgS #automaton #graph #linear
- Graph Automata for Linear Graph Languages (FJB, KS), pp. 336–350.
- TAGT-1994-CourcelleS #graph #set
- The Obstructions of a Minor-Closed Set of Graphs Defined by Hyperedge Replacement can be Constructed (BC, GS), pp. 351–367.
- TAGT-1994-EngelfrietV #graph
- Concatenation of Graphs (JE, JJV), pp. 368–382.
- TAGT-1994-KimJ #generative
- HRNCE Grammars — A Hypergraph Generating System with an eNCE Way (CK, TEJ), pp. 383–396.
- TAGT-1994-Klempien-Hinrichs #confluence #decidability #simulation
- Node Replacement in Hypergrahps: Simulation of Hyperedge Replacement, and Decidability of Confluence (RKH), pp. 397–411.
- TAGT-1994-DassowHT
- Chain-Code Pictures and Collages Generated by Hyperedge Replacement (JD, AH, ST), pp. 412–427.
- TAGT-1994-Parisi-Presicce #graph grammar
- Transformations of Graph Grammars (FPP), pp. 428–442.
- TAGT-1994-ZinssmeisterM #graph #graph grammar
- Drawing Graphs with Attribute Graph Grammars (GZ, CM), pp. 443–453.
- TAGT-1994-Zundorf #graph #pattern matching
- Graph Pattern Matching in PROGRES (AZ), pp. 454–468.
- TAGT-1994-ArnborgP #bound #graph #subclass
- A Technique for Recognizing Graphs of Bounded Treewidth with Application to Subclasses of Partial 2-Paths (SA, AP), pp. 469–486.
- TAGT-1994-Courcelle #composition #graph #higher-order #logic #monad
- The Definition in Monadic Second-Order Logic of Modular Decompositions of Ordered Graphs (BC), pp. 487–501.
- TAGT-1994-EhrenfeuchtHR #graph #graph transformation
- Group Based Graph Transformations and Hierarchical Representations of Graphs (AE, TH, GR), pp. 502–520.
- TAGT-1994-Fracchia #interactive #visualisation
- Integrating Lineage and Interaction for the Visualization of Cellular Stuctures (FDF), pp. 521–535.
- TAGT-1994-LuckL
- Cellworks with Cell Rewriting and Cell Packing for Plant Morphogenesis (JL, HBL), pp. 536–549.
- TAGT-1994-PrusinkiewiczK
- Subapical Bracketed L-Systems (PP, LK), pp. 550–564.

12 ×#graph

12 ×#graph grammar

5 ×#graph transformation

3 ×#algebra

3 ×#composition

3 ×#semantics

2 ×#approach

2 ×#bound

2 ×#generative

2 ×#on the

12 ×#graph grammar

5 ×#graph transformation

3 ×#algebra

3 ×#composition

3 ×#semantics

2 ×#approach

2 ×#bound

2 ×#generative

2 ×#on the