Unfolding Symbolic Attributed Graph Grammars
From MaRDI portal
Publication:5100727
DOI10.1007/978-3-030-51372-6_5zbMath1502.68159OpenAlexW3037868455MaRDI QIDQ5100727
Maryam Ghaffari Saadat, Reiko Heckel, Fernando Orejas
Publication date: 1 September 2022
Published in: Graph Transformation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-51372-6_5
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Grammars and rewriting systems (68Q42)
Related Items (1)
Cites Work
- Unfolding semantics of graph transformation
- Unfoldings: A partial-order approach to model checking.
- Fundamentals of algebraic graph transformation
- Unfolding Grammars in Adhesive Categories
- Lazy Graph Transformation
- Unfolding Graph Transformation Systems: Theory and Applications to Verification
- Towards the Verification of Attributed Graph Transformation Systems
- Delaying Constraint Solving in Symbolic Graph Transformation
- Recent Trends in Algebraic Development Techniques
This page was built for publication: Unfolding Symbolic Attributed Graph Grammars