Sesqui-Pushout Rewriting

Andrea Corradini, Tobias Heindel, Frank Hermann, Barbara König

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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.
Original languageEnglish
Title of host publicationGraph Transformations
Subtitle of host publicationThird International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings
PublisherSpringer Berlin Heidelberg
Pages30-45
Number of pages16
Volume4718
ISBN (Electronic)978-3-540-38872-2
ISBN (Print)978-3-540-38870-8
DOIs
Publication statusPublished - 2006

Fingerprint

Dive into the research topics of 'Sesqui-Pushout Rewriting'. Together they form a unique fingerprint.

Cite this