Loading...
Loading...

Go to the content (press return)

Algebraic transformation of unary partial algebras II: single-pushout approach

Author
Burmeister, P.; Montserrat, M.; Rosselló, F. A.; Valiente, G.
Type of activity
Journal article
Journal
Theoretical computer science
Date of publication
1999-03-06
Volume
216
Number
1-2
First page
311
Last page
362
DOI
https://doi.org/10.1016/S0304-3975(97)00282-X Open in new window
URL
http://www.sciencedirect.com/science/article/pii/S030439759700282X Open in new window
Abstract
The single-pushout approach to graph transformation is extended to the algebraic transformation of partial many-sorted unary algebras. Such a generalization has been motivated by the need to model the transformation of structures which are richer and more complex than graphs and hypergraphs. The main result presented in this article is an algebraic characterization of the single-pushout transformation in the categories of all conformisms, all closed quomorphisms, and all closed-domain closed quo...
Keywords
Algebraic graph transformation, Graph grammars, HLR conditions, High-level replacement systems, Partial algebras
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Participants