An Institution for Graph Transformation
From MaRDI portal
Publication:2890329
DOI10.1007/978-3-642-28412-0_11zbMath1312.68112MaRDI QIDQ2890329
Andrea Corradini, Fabio Gadducci, 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
68Q55: Semantics in the theory of computing
68Q65: Abstract data types; algebraic specification
68Q42: Grammars and rewriting systems
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