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
Loading...
Thumbnail Image
Name

icgt14.pdf

Access type

openaccess

Size

555.72 KB

Format

Adobe PDF

Checksum (MD5)

e8de5ccbe9210b4462464d6c02befbf5

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