@inbook{918749f99b5f4f1e8dc9f18cd9e1b4e0,
title = "Graph Attribution Through Sub-Graphs",
abstract = "We offer an alternative to the standard way of formalising attributed graphs. We propose to represent them as graphs with a marked sub-graph that represents the data domain, rather than as tuples of graph and algebra. This is a general construction which can be shown to preserve adhesiveness of categories; it has the advantage of uniformity and gives more flexibility in defining data abstractions. We show equivalence of our formalisation with the standard one, under a suitable encoding of algebras as graphs.",
author = "Harmen Kastenberg and Arend Rensink",
year = "2018",
doi = "10.1007/978-3-319-75396-6\_14",
language = "English",
isbn = "978-3-319-75395-9",
volume = "10800",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "245--265",
editor = "Reiko Heckel and Gabriele Taentzer",
booktitle = "Graph Transformation, Specifications, and Nets",
address = "Germany",
}