• search hit 1 of 5
Back to Result List

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
    (2706KB)

    SHA-1: 625b13abadad75a54bbaee118cb683a165b1a933

Export metadata

Additional Services

Search Google Scholar Statistics
Metadaten
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):License LogoKeine öffentliche Lizenz: Unter Urheberrechtsschutz
External remark:Bibliographieeintrag der Originalveröffentlichung/Quelle
Accept ✔
This website uses technically necessary session cookies. By continuing to use the website, you agree to this. You can find our privacy policy here.