Categorical principles, techniques and results for high-level-replacement systems in computer science

DOI10.1007/BF00872984zbMath0784.68063MaRDI QIDQ690375

Hartmut Ehrig, Michael Löwe

Publication date: 2 January 1994

Published in: Applied Categorical Structures (Search for Journal in Brave)

zbMATH Keywords

algebraic specifications; formal languages; graph grammars; formal systems; grammars; algebraic approach; high- level-replacement system; special categories

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

18A99: General theory of categories and functors

68Q99: Theory of computing

Related Items

Algebraic transformation of unary partial algebras II: Single-pushout approach, Algebraic transformation of unary partial algebras. I: Double-pushout approach, The uniqueness condition for the double pushout transformation of algebras

Cites Work

• Hyperedge replacement: grammars and languages
• Parallel and distributed derivations in the single-pushout approach
• Pushout-complements and basic concepts of grammars in toposes
• On graph rewritings
• Petri nets are monoids
• On ``On graph rewritings
• Parallelism and concurrency of graph manipulations
• Amalgamation of graph transformations: a synchronization mechanism
• Parallelism and concurrency in high-level replacement systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item