%0 Book Section
%A Bruni, Roberto
%A Gadducci, Fabio
%A Lluch-Lafuente, Alberto
%B Trustworthly Global Computing (TCG 2010)
%D 2010
%E Wirsing, Martin
%E Hofmann, Martin
%E Rauschmayer, Axel
%F eprints:144
%I Springer
%P 205-221
%S Lecture Notes in Computer Science
%T An Algebra of Hierarchical Graphs
%U http://eprints.imtlucca.it/144/
%V 6084
%X 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.  
%Z © Springer-Verlag Berlin Heidelberg 2010. The final publication is available at www.springerlink.com.