Compositionality in Graph Transformation
From MaRDI portal
Publication:3587448
DOI10.1007/978-3-642-14162-1_26zbMath1288.68144MaRDI QIDQ3587448
Publication date: 7 September 2010
Published in: Automata, Languages and Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-14162-1_26
68R10: Graph theory (including graph drawing) in computer science
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68Q42: Grammars and rewriting systems
Related Items
Variability-based model transformation: formal foundation and application, Compositional analysis of probabilistic timed graph transformation systems, The Edge of Graph Transformation — Graphs for Behavioural Specification