TY  - CHAP
AV  - public
SP  - 205
T2  - Trustworthly Global Computing (TCG 2010)
M1  - 6084
EP  - 221
A1  - Bruni, Roberto
A1  - Gadducci, Fabio
A1  - Lluch-Lafuente, Alberto
N1  - © Springer-Verlag Berlin Heidelberg 2010. The final publication is available at www.springerlink.com.
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.

TI  - An Algebra of Hierarchical Graphs
T3  - Lecture Notes in Computer Science
SN  - 978-3-642-15639-7
PB  - Springer
UR  - http://dx.doi.org/10.1007/978-3-642-15640-3_14
ID  - eprints144
ED  - Wirsing, Martin
ED  - Hofmann, Martin
ED  - Rauschmayer, Axel
Y1  - 2010///
ER  -