Bruni, Roberto and Gadducci, Fabio and LluchLafuente, Alberto An Algebra of Hierarchical Graphs. In: Trustworthly Global Computing (TCG 2010). Lecture Notes in Computer Science, 6084 . Springer, pp. 205221. ISBN 9783642156397 (2010)

PDF
 Accepted Version
Download (387kB)  Preview 
Official URL: http://dx.doi.org/10.1007/9783642156403_14
Abstract
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 highlevel language for describing graphs with a nodesharing, 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/9783642156403_14 
Additional Information:  © SpringerVerlag Berlin Heidelberg 2010. The final publication is available at www.springerlink.com. 
Funders:  Research supported by the EU, FET integrated project IST2005016004 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 