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)

12 ×#graph
12 ×#graph grammar
5 ×#graph transformation
3 ×#algebra
3 ×#composition
3 ×#semantics
2 ×#approach
2 ×#bound
2 ×#generative
2 ×#on the

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.