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. © 2010 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A., & Montanari, U. (2010). On GS-monoidal theories for graphs with nesting. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5765 LNCS, pp. 59–86). https://doi.org/10.1007/978-3-642-17322-6_4
Mendeley helps you to discover research relevant for your work.