Unfolding Symbolic Attributed Graph Grammars

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

zbMATH Keywords

unfolding semanticssymbolic attributed graph transformationvisual smart contracts

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Grammars and rewriting systems (68Q42)

Related Items (1)

Unnamed Item

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