No full text
Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Sesqui-Pushout Rewriting
Corradini, Andrea; Heindel, Tobias; Hermann, Frank et al.
2006In Graph Transformation
Peer reviewed
 

Files


Full Text
No document available.

Send to



Details



Keywords :
graph transformation; single pushout approach; double pushout approach; sesqui pushout approach
Abstract :
[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.
Disciplines :
Computer science
Identifiers :
UNILU:UL-CONFERENCE-2011-188
Author, co-author :
Corradini, Andrea;  Università di Pisa, Italy
Heindel, Tobias;  Università di Pisa, Italy
Hermann, Frank ;  Technische Universität Berlin, Germany
König, Barbara;  Universität Duisburg-Essen, Germany
Language :
English
Title :
Sesqui-Pushout Rewriting
Publication date :
2006
Event name :
Third International Conference on Graph Transformation (ICGT'06)
Event place :
Natal, Brazil
Event date :
Sep. 2006
Main work title :
Graph Transformation
Publisher :
Springer Verlag
ISBN/EAN :
3-540-38870-2
Pages :
30-45
Peer reviewed :
Peer reviewed
Commentary :
4178 Graph Transformation
Available on ORBilu :
since 15 July 2013

Statistics


Number of views
76 (2 by Unilu)
Number of downloads
0 (0 by Unilu)

Scopus citations®
 
103
Scopus citations®
without self-citations
82
OpenCitations
 
68

Bibliography


Similar publications



Contact ORBilu