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.

Download full text files

  • pde001.pdfeng

    SHA-1: 625b13abadad75a54bbaee118cb683a165b1a933

Export metadata

Additional Services

Share in Twitter Search Google Scholar Statistics
Author:Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen LambersORCiDGND, Fernando Orejas
Parent Title (English):Postprints der Universität Potsdam : Digital Engineering Reihe
Subtitle (English):Part 1: parallelism, concurrency and amalgamation
Series (Serial Number):Postprints der Universität Potsdam : Reihe der Digital Engineering Fakultät (1)
Document Type:Postprint
Date of first Publication:2020/02/11
Year of Completion: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
Source:Mathematical Structures in Computer Science 24 (2014) 4 DOI: 10.1017/S0960129512000357
Organizational units:Digital Engineering Fakultät
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Publication Way:Open Access
Grantor:Cambridge University Press (CUP)
Licence (German):License LogoKeine Nutzungslizenz vergeben - es gilt das deutsche Urheberrecht
Notes extern:Bibliographieeintrag der Originalveröffentlichung/Quelle