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)
![[img]](http://eprints.imtlucca.it/style/images/fileicons/application_pdf.png)
|
PDF
- Accepted Version
Download (387kB) | Preview |
Official URL: http://dx.doi.org/10.1007/978-3-642-15640-3_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 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: | https://doi.org/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 |
