@inproceedings{7071a83073554231a3b62212555a1be8,
title = "Generalised compositionality in graph transformation",
abstract = "We present a notion of composition applying both to graphs and to rules, based on graph and rule interfaces along which they are glued. The current paper generalises a previous result in two different ways. Firstly, rules do not have to form pullbacks with their interfaces; this enables graph passing between components, meaning that components may “learn‿ and “forget‿ subgraphs through communication with other components. Secondly, composition is no longer binary; instead, it can be repeated for an arbitrary number of components.",
keywords = "METIS-289737, Abstract Interpretation, Abstraction, EWI-22379, Graph Transformation, State Space Exploration, IR-83371",
author = "A.H. Ghamarian and Arend Rensink",
note = "10.1007/978-3-642-33654-6\_16 ; 6th International Conference on Graph Transformation, ICGT 2012 ; Conference date: 24-09-2012 Through 29-09-2012",
year = "2012",
month = sep,
doi = "10.1007/978-3-642-33654-6\_16",
language = "Undefined",
isbn = "978-3-642-33653-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "234--248",
editor = "H Ehrig and G. Engels and H.J. Kreowski and G. Rozenberg",
booktitle = "6th International Conference on Graph Transformation (ICGT 2012)",
address = "Germany",
}