Compositionality in Graph Transformation

DOI10.1007/978-3-642-14162-1_26zbMath1288.68144OpenAlexW1930108061MaRDI QIDQ3587448

Arend Rensink

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

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)

Related Items

Variability-based model transformation: formal foundation and application ⋮ The Edge of Graph Transformation — Graphs for Behavioural Specification ⋮ Compositional analysis of probabilistic timed graph transformation systems

This page was built for publication: Compositionality in Graph Transformation