An Abstract Module Concept for Graph Transformation Systems

DOI10.1016/S1571-0661(04)80211-1zbMath1263.68093MaRDI QIDQ4923549

Marta Simeoni

Publication date: 24 May 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items (1)

Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components

Uses Software

• DIEGO
• PROGRES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Formal software specification with refinements and modules of typed graph transformation systems
• On the interleaving semantics of transformation units — A step into GRACE
• Pragmatic and semantic aspects of a module concept for graph transformation systems
• Transformations of graph grammars
• Handbook of Graph Grammars and Computing by Graph Transformation

This page was built for publication: An Abstract Module Concept for Graph Transformation Systems