TY  - CHAP
PB  - Springer
A1  - Bruni, Roberto
A1  - Gadducci, Fabio
A1  - Lluch-Lafuente, Alberto
T3  - Lecture Notes in Computer Science
SP  - 205
Y1  - 2010///
ED  - Wirsing, Martin
ED  - Hofmann, Martin
ED  - Rauschmayer, Axel
SN  - 978-3-642-15639-7
M1  - 6084
N2  - 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.

AV  - public
TI  - An Algebra of Hierarchical Graphs
UR  - http://dx.doi.org/10.1007/978-3-642-15640-3_14
N1  - © Springer-Verlag Berlin Heidelberg 2010. The final publication is available at www.springerlink.com.
ID  - eprints144
T2  - Trustworthly Global Computing (TCG 2010)
EP  - 221
ER  -