A Modal-Logic Based Graph Abstraction

DOI10.1007/978-3-540-87405-8_22zbMath1175.68214OpenAlexW2095776241MaRDI QIDQ3540408

Marcos E. Kurbán, Arend Rensink, Jörg Bauer, Iovka Boneva

Publication date: 20 November 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-87405-8_22

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items (5)

Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions ⋮ Specifying graph languages with type graphs ⋮ A compositional view of derivations as interactive processes with applications to regulated and distributed rewriting ⋮ The Edge of Graph Transformation — Graphs for Behavioural Specification ⋮ Sound and Complete Abstract Graph Transformation

This page was built for publication: A Modal-Logic Based Graph Abstraction