Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Reversible Sesqui-Pushout Rewriting, Graph Transformation
 
conference paper

Reversible Sesqui-Pushout Rewriting, Graph Transformation

Danos, Vincent
•
Heindel, Tobias
•
Honorato-Zimmer, Ricardo
Show more
Giese, Holger
•
König, Barbara
July 22, 2014
Graph Transformation, 7th International Conference, ICGT 2014. Proceedings
7th International Conference on Graph Transformation, ICGT 2014, Held as Part of STAF 2014

The paper proposes a variant of sesqui-pushout rewriting (SqPO) that allows one to develop the theory of nested application conditions (NACs) for arbitrary rule spans; this is a considerable generalisation compared with existing results for NACs, which only hold for linear rules (w.r.t. a suitable class of monos). Besides this main contribution, namely an adapted shifting construction for NACs, the paper presents a uniform commutativity result for a revised notion of independence that applies to arbitrary rules; these theorems hold in any category with (enough) stable pushouts and a class of monos rendering it weak adhesive HLR. To illustrate results and concepts, we use simple graphs, i.e. the category of binary endorelations and relation preserving functions, as it is a paradigmatic example of a category with stable pushouts; moreover, using regular monos to give semantics to NACs, we can shift NACs over arbitrary rule spans.

  • Files
  • Details
  • Metrics
Type
conference paper
DOI
10.1007/978-3-319-09108-2_11
Author(s)
Danos, Vincent
Heindel, Tobias
Honorato-Zimmer, Ricardo
Stucki, Sandro
Editors
Giese, Holger
•
König, Barbara
Date Issued

2014-07-22

Publisher

Springer

Publisher place

Cham

Published in
Graph Transformation, 7th International Conference, ICGT 2014. Proceedings
ISBN of the book

978-3-319-09108-2

Total of pages

16

Series title/Series vol.

Lecture Notes in Computer Science; 8571

Volume

8571

Start page

161

End page

176

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
LAMP1  
Event nameEvent placeEvent date
7th International Conference on Graph Transformation, ICGT 2014, Held as Part of STAF 2014

York, UK

July 22-24, 2014

Available on Infoscience
February 12, 2018
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/144782
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés