Logo eprints

An Algebra of Hierarchical Graphs

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)

PDF - Accepted Version
Download (387kB) | Preview


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.

Item Type: Book Section
Identification Number: 10.1007/978-3-642-15640-3_14
Additional Information: © Springer-Verlag Berlin Heidelberg 2010. The final publication is available at www.springerlink.com.
Funders: Research supported by the EU, FET integrated project IST-2005-016004 Sensoria
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Users 30 not found.
Date Deposited: 31 Mar 2011 10:44
Last Modified: 11 Jul 2011 14:34
URI: http://eprints.imtlucca.it/id/eprint/144

Actions (login required)

Edit Item Edit Item