An Institution for Graph Transformation

DOI10.1007/978-3-642-28412-0_11zbMath1312.68112OpenAlexW53489966MaRDI QIDQ2890329

Fabio Gadducci, Andrea Corradini, Leila Ribeiro

Publication date: 8 June 2012

Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28412-0_11

zbMATH Keywords

institutionsgraph transformation systems

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic approach to single-pushout graph transformation
• Unfolding semantics of graph transformation
• A framework for the verification of infinite-state graph transformation systems
• Specifications in an arbitrary institution
• Conditional rewriting logic as a unified model of concurrency
• Institutions for logic programming
• Formal software specification with refinements and modules of typed graph transformation systems
• An algebraic presentation of term graphs, via gs-monoidal categories
• Graph Transformation Units – An Overview
• Sesqui-Pushout Rewriting
• Structured CSP – A Process Algebra as an Institution
• Institutions: abstract model theory for specification and programming
• Handbook of Graph Grammars and Computing by Graph Transformation
• Concurrency and loose semantics of open graph transformation systems
• Adhesive and quasiadhesive categories
• Recent Trends in Algebraic Development Techniques
• Double-pullback transitions and coalgebraic loose semantics for graph transformation systems

This page was built for publication: An Institution for Graph Transformation