Reference : Sesqui-Pushout Rewriting
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/3868
Sesqui-Pushout Rewriting
English
Corradini, Andrea [Università di Pisa, Italy]
Heindel, Tobias [Università di Pisa, Italy]
Hermann, Frank mailto [Technische Universität Berlin, Germany]
König, Barbara [Universität Duisburg-Essen, Germany]
2006
Graph Transformation
Springer Verlag
30-45
Yes
3-540-38870-2
Third International Conference on Graph Transformation (ICGT'06)
Sep. 2006
Natal
Brazil
[en] graph transformation ; single pushout approach ; double pushout approach ; sesqui pushout approach
[en] Sesqui-pushout (sqpo) rewriting – ''sesqui´´ means ``one and a half'' in Latin – is a new algebraic approach to abstract rewriting in any category. sqpo rewriting is a deterministic and conservative extension of double-pushout (dpo) rewriting, which allows to model ``deletion in unknown context'', a typical feature of single-pushout (spo) rewriting, as well as cloning. After illustrating the expressiveness of the proposed approach through a case study modelling an access control system, we discuss sufficient conditions for the existence of final pullback complements and we analyze the relationship between sqpo and the classical dpo and spo approaches.
http://hdl.handle.net/10993/3868
10.1007/11841883_4
http://www.springerlink.com/content/v66287vj04077203/
4178
Graph Transformation

There is no file associated with this reference.

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.