M-adhesive transformation systems with nested application conditions
- Nested application conditions generalise the well-known negative application conditions and are important for several application domains. In this paper, we present Local Church-Rosser, Parallelism, Concurrency and Amalgamation Theorems for rules with nested application conditions in the framework of M-adhesive categories, where M-adhesive categories are slightly more general than weak adhesive high-level replacement categories. Most of the proofs are based on the corresponding statements for rules without application conditions and two shift lemmas stating that nested application conditions can be shifted over morphisms and rules.
Author details: | Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen LambersORCiDGND, Fernando OrejasORCiD |
---|---|
URN: | urn:nbn:de:kobv:517-opus4-415651 |
DOI: | https://doi.org/10.25932/publishup-41565 |
Title of parent work (English): | Postprints der Universität Potsdam : Digital Engineering Reihe |
Subtitle (English): | Part 1: parallelism, concurrency and amalgamation |
Publication series (Volume number): | Zweitveröffentlichungen der Universität Potsdam : Reihe der Digital Engineering Fakultät (1) |
Publication type: | Postprint |
Language: | English |
Date of first publication: | 2020/02/11 |
Publication year: | 2014 |
Publishing institution: | Universität Potsdam |
Release date: | 2020/02/11 |
Tag: | categories; confluence; distributed systems; grammars; graph-transformations; level-replacement systems; model; programs; synchronization |
Issue: | 001 |
Number of pages: | 50 |
Source: | Mathematical Structures in Computer Science 24 (2014) 4 DOI: 10.1017/S0960129512000357 |
Organizational units: | Digital Engineering Fakultät / Hasso-Plattner-Institut für Digital Engineering GmbH |
DDC classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
Publishing method: | Open Access |
Grantor: | Cambridge University Press (CUP) |
License (German): | Keine öffentliche Lizenz: Unter Urheberrechtsschutz |
External remark: | Bibliographieeintrag der Originalveröffentlichung/Quelle |