Specification and modelling of computing systems through graphs and graph transformation

DOI10.1016/j.jlamp.2023.100905OpenAlexW4386635672MaRDI QIDQ6052952

Timo Kehrer, Fabio Gadducci

Publication date: 25 September 2023

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2023.100905

zbMATH Keywords

graphsgraph transformation

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24--25, 2021. Proceedings
• Hypergraph Lambek grammars
• A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications
• Monadic second-order incorrectness logic for GP 2
• Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions
• Fundamentals of compositional rewriting theory
• Evaluation diversity for graph conditions
• Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes

This page was built for publication: Specification and modelling of computing systems through graphs and graph transformation