eprintid: 142
rev_number: 8
eprint_status: archive
userid: 30
dir: disk0/00/00/01/42
datestamp: 2011-03-31 10:55:12
lastmod: 2011-07-11 14:34:34
status_changed: 2011-03-31 10:55:12
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: Bruni, Roberto
creators_name: Corradini, Andrea
creators_name: Gadducci, Fabio
creators_name: Lluch-Lafuente, Alberto
creators_name: Montanari, Ugo
creators_id: 
creators_id: 
creators_id: 
creators_id: alberto.lluch@imtlucca.it
creators_id: 
title: On GS-Monoidal Theories for Graphs with Nesting
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
note: © Springer-Verlag Berlin Heidelberg 2010. The original publication is available at www.springerlink.com.
abstract: We propose a sound and complete axiomatisation of a class of graphs with nesting and either locally or globally restricted nodes. Such graphs allow to represent explicitly and at the right level of abstraction some relevant topological and logical features of models and systems, including nesting, hierarchies, sharing of resources, and pointers or links. We also provide an encoding of the proposed algebra into terms of a gs-monoidal theory, and through these into a suitable class of  wellscoped  term graphs, showing that this encoding is sound and complete with respect to the axioms of the algebra.

date: 2010
date_type: published
series: Lecture Notes in Computer Science
volume: 5765
publisher: Springer
pagerange: 59-86
id_number: 10.1007/978-3-642-17322-6_4
refereed: TRUE
isbn: 978-3-642-17321-9
book_title: Graph Transformations and Model-Driven Engineering
editors_name: Engels, Gregor
editors_name: Lewerentz, Claus
editors_name: Schäfer, Wilhelm
editors_name: Schürr, Andy
editors_name: Westfechtel, Bernhard
official_url: http://dx.doi.org/10.1007/978-3-642-17322-6_4
citation:   Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Montanari, Ugo  On GS-Monoidal Theories for Graphs with Nesting.   In:  Graph Transformations and Model-Driven Engineering.   Lecture Notes in Computer Science, 5765 .  Springer, pp. 59-86.  ISBN 978-3-642-17321-9      (2010)