relation: http://eprints.imtlucca.it/144/
title: An Algebra of Hierarchical Graphs
creator: Bruni, Roberto
creator: Gadducci, Fabio
creator: Lluch-Lafuente, Alberto
subject: QA75 Electronic computers. Computer science
description: We define an algebraic theory of hierarchical graphs, whose axioms characterise graph isomorphism: two terms are equated exactly when they represent the same graph. Our algebra can be understood as a high-level language for describing graphs with a node-sharing, embedding structure, and it is then well suited for defining graphical representations of software models where nesting and linking are key aspects.  
publisher: Springer
contributor: Wirsing, Martin
contributor: Hofmann, Martin
contributor: Rauschmayer, Axel
date: 2010
type: Book Section
type: PeerReviewed
format: application/pdf
language: en
identifier: http://eprints.imtlucca.it/144/1/bruni_gadducci_lluch-lafuente2010a.pdf
identifier:   Bruni, Roberto and Gadducci, Fabio and Lluch-Lafuente, Alberto  An Algebra of Hierarchical Graphs.   In:  Trustworthly Global Computing (TCG 2010).   Lecture Notes in Computer Science, 6084 .  Springer, pp. 205-221.  ISBN 978-3-642-15639-7      (2010)  
relation: http://dx.doi.org/10.1007/978-3-642-15640-3_14
relation: 10.1007/978-3-642-15640-3_14