scientific article; zbMATH DE number 1231482

zbMath0910.68116MaRDI QIDQ4222787

Reiko Heckel, Andrea Corradini

Publication date: 13 December 1998

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

typed graph grammars

Mathematics Subject Classification ID

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

Related Items (3)

Concurrent graph and term graph rewriting ⋮ Unnamed Item ⋮ Formal software specification with refinements and modules of typed graph transformation systems

Cites Work

• Algebraic approach to single-pushout graph transformation
• Petri nets are monoids
• A categorical manifesto
• Unnamed Item
• Unnamed Item

This page was built for publication: