Graph Transformations

DOI10.1007/b100934zbMath1116.68480MaRDI QIDQ5292592

Hartmut Ehrig, Ulrike Prange, Annegret Habel, Julia Padberg

Publication date: 21 June 2007

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

Full work available at URL: https://doi.org/10.1007/b100934

Mathematics Subject Classification ID

68R10: Graph theory (including graph drawing) in computer science

68Q42: Grammars and rewriting systems

Related Items

Unnamed Item, Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs, Amalgamation of domain specific languages with behaviour, Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components, Construction and properties of adhesive and weak adhesive high-level replacement categories, Synthesising CCS bisimulation using graph rewriting, On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems, Rewriting theory for the life sciences: a unifying theory of CTMC semantics, Rule-based transformation of graph rewriting rules: towards higher-order graph grammars, Van Kampen Colimits as Bicolimits in Span, Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems, Confluence of Graph Rewriting with Interfaces, Rule Algebras for Adhesive Categories, From Algebraic Graph Transformation to Adhesive HLR Categories and Systems, Workshop on Petri Nets and Graph Transformations