Algebra Transformation Systems as a Unifying Framework

DOI10.1016/S1571-0661(04)80199-3zbMath1263.68076OpenAlexW153083962MaRDI QIDQ4923537

Martin Grosse-Rhode

Publication date: 24 May 2013

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

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80199-3

Mathematics Subject Classification ID

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

Related Items (1)

GETGRATS

Uses Software

• UNITY

Cites Work

• Temporal theories as modularisation units for concurrent system specification
• Graph transformation units with interleaving semantics
• Institutions: abstract model theory for specification and programming
• Handbook of Graph Grammars and Computing by Graph Transformation
• Formal concepts for an integrated internal model of the UML
• Towards a Double Pushout Transformation of Algebras
• Handbook of Graph Grammars and Computing by Graph Transformation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Algebra Transformation Systems as a Unifying Framework