Satisfiability of High-Level Conditions
From MaRDI portal
Publication:3541979
DOI10.1007/11841883_30zbMath1156.68428MaRDI QIDQ3541979
Karl-Heinz Pennemann, Annegret Habel
Publication date: 27 November 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11841883_30
68R10: Graph theory (including graph drawing) in computer science
68Q65: Abstract data types; algebraic specification
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68Q42: Grammars and rewriting systems
18B20: Categories of machines, automata
Related Items
An Algorithm for Approximating the Satisfiability Problem of High-level Conditions, A Logic of Graph Constraints, Reasoning with graph constraints, Explicit State Model Checking for Graph Grammars, Attributed Graph Constraints, Development of Correct Graph Transformation Systems, Correctness of high-level transformation systems relative to nested conditions