scientific article; zbMATH DE number 1231482

MaRDI QIDQ4222787zbMATH OpenFDO

Authors Andrea Corradini, R. Heckel

Publication date 13 December 1998

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume2.htm#corradini1

zbMATH Keywords

typed graph grammars

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 969071
• The category of typed graph grammars and its adjunctions with categories of derivations
• scientific article; zbMATH DE number 1418368

Cites work

• A categorical manifesto
• Algebraic approach to single-pushout graph transformation
• scientific article; zbMATH DE number 3633737 (Why is no real title available?)
• scientific article; zbMATH DE number 919845 (Why is no real title available?)
• Petri nets are monoids

Cited in

(9)

• Formal software specification with refinements and modules of typed graph transformation systems
• Generalised compositionality in graph transformation
• Composition of graph-transformation-based DSL definitions by amalgamation
• scientific article; zbMATH DE number 1231483 (Why is no real title available?)
• The category of typed graph grammars and its adjunctions with categories of derivations
• scientific article; zbMATH DE number 1418368 (Why is no real title available?)
• scientific article; zbMATH DE number 969071 (Why is no real title available?)
• Composition by Colimit and Formal Software Development
• Concurrent graph and term graph rewriting

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 Q4222787)