scientific article; zbMATH DE number 3633738

MaRDI QIDQ4194479zbMATH OpenFDO

Authors Hartmut Ehrig, Barry K. Rosen

Publication date 1979

zbMATH Keywords

ConcurrencyGraph GrammarsCategorical MethodsDecomposition of Graph DerivationsFast Productions

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Graph theory (including graph drawing) in computer science (68R10) Categories of machines, automata (18B20)

Cited in

(3)

• Parallelism and concurrency of graph manipulations
• Pushout-complements and basic concepts of grammars in toposes
• Amalgamation of graph transformations: a synchronization mechanism

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4194479)