Unfolding Symbolic Attributed Graph Grammars

DOI10.1007/978-3-030-51372-6_5MaRDI QIDQ5100727zbMATH OpenOpenAlexFDO

Authors Maryam Ghaffari Saadat, R. 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

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

Recommendations

• scientific article; zbMATH DE number 219234
• scientific article; zbMATH DE number 1268708
• Unfolding graph grammars with negative application conditions
• Apex graph grammars and attribute grammars
• Symbolic graphs for attributed graph constraints
• scientific article; zbMATH DE number 1330131
• Drawing graphs with attribute graph grammars
• Attribute grammars and automatic complexity analysis
• Attributed graph rewriting system
• Attributed tree grammars

Cites work

• Coreflective concurrent semantics for single-pushout graph grammars.
• Delaying Constraint Solving in Symbolic Graph Transformation
• Fundamentals of algebraic graph transformation
• Lazy graph transformation
• Towards the Verification of Attributed Graph Transformation Systems
• Unfolding Grammars in Adhesive Categories
• Unfolding Graph Transformation Systems: Theory and Applications to Verification
• Unfolding semantics of graph transformation
• Unfoldings: A partial-order approach to model checking.

Cited in

(3)

• Graph Grammar Extraction from Source Code
• scientific article; zbMATH DE number 7456052 (Why is no real title available?)
• Symbol -- relation grammars: A formalism for graphical languages

This page was built for publication: Unfolding Symbolic Attributed Graph Grammars

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5100727)