eprintid: 144
rev_number: 18
eprint_status: archive
userid: 30
dir: disk0/00/00/01/44
datestamp: 2011-03-31 10:44:09
lastmod: 2011-07-11 14:34:34
status_changed: 2011-03-31 10:44:09
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: Bruni, Roberto
creators_name: Gadducci, Fabio
creators_name: Lluch-Lafuente, Alberto
creators_id: 
creators_id: 
creators_id: alberto.lluch@imtlucca.it
title: An Algebra of Hierarchical Graphs
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
note: © Springer-Verlag Berlin Heidelberg 2010. The final publication is available at www.springerlink.com.
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.

date: 2010
date_type: published
series: Lecture Notes in Computer Science
volume: 6084
publisher: Springer
pagerange: 205-221
id_number: 10.1007/978-3-642-15640-3_14
refereed: TRUE
isbn: 978-3-642-15639-7
book_title: Trustworthly Global Computing (TCG 2010)
editors_name: Wirsing, Martin
editors_name: Hofmann, Martin
editors_name: Rauschmayer, Axel
official_url: http://dx.doi.org/10.1007/978-3-642-15640-3_14
funders: Research supported by the EU, FET integrated project IST-2005-016004 Sensoria
citation:   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)  
document_url: http://eprints.imtlucca.it/144/1/bruni_gadducci_lluch-lafuente2010a.pdf