An Algebra of Hierarchical Graphs

Roberto Bruni, Fabio Gadducci, Alberto Lluch Lafuente

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

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.
Original languageEnglish
Title of host publicationTrustworthly Global Computing : 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers
PublisherSpringer Berlin Heidelberg
Publication date2010
Pages205-221
ISBN (Print)978-3-642-15639-7
ISBN (Electronic)978-3-642-15640-3
DOIs
Publication statusPublished - 2010
Externally publishedYes
Event5th Symposium on Trustworthy Global Computing - Munich, Germany
Duration: 24 Feb 201026 Feb 2010
Conference number: 5

Conference

Conference5th Symposium on Trustworthy Global Computing
Number5
CountryGermany
CityMunich
Period24/02/201026/02/2010
SeriesLecture Notes in Computer Science
Volume6084
ISSN0302-9743

Fingerprint

Dive into the research topics of 'An Algebra of Hierarchical Graphs'. Together they form a unique fingerprint.

Cite this