M-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation

Simple item page
dc.contributor.authorEhrig, Hartmut
dc.contributor.authorGolas, Ulrike
dc.contributor.authorHabel, Annegret
dc.contributor.authorLambers, Leen
dc.contributor.authorOrejas, Fernando
dc.date.accessioned2017-11-23T12:53:28Z
dc.date.available2017-11-23T12:53:28Z
dc.date.issued2014
dc.descriptionDieser Beitrag ist mit Zustimmung des Rechteinhabers aufgrund einer (DFG geförderten) Allianz- bzw. Nationallizenz frei zugänglich.de
dc.descriptionThis publication is with permission of the rights owner freely accessible due to an Alliance licence and a national licence (funded by the DFG, German Research Foundation) respectively.en
dc.description.abstractNested 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.en
dc.identifier.eissn1469-8072
dc.identifier.issn0960-1295
dc.identifier.urihttps://depositonce.tu-berlin.de/handle/11303/7165
dc.identifier.urihttp://dx.doi.org/10.14279/depositonce-6440
dc.language.isoen
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/
dc.subject.ddc004 Datenverarbeitung; Informatik
dc.titleM-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamationen
dc.typeArticle
dc.type.versionpublishedVersion
dcterms.bibliographicCitation.articlenumbere240406
dcterms.bibliographicCitation.doi10.1017/s0960129512000357
dcterms.bibliographicCitation.issue4
dcterms.bibliographicCitation.journaltitleMathematical structures in computer science
dcterms.bibliographicCitation.originalpublishernameCambridge University Press
dcterms.bibliographicCitation.originalpublisherplaceCambridge
dcterms.bibliographicCitation.volume24
tub.accessrights.dnbdomain
tub.affiliationFak. 4 Elektrotechnik und Informatik::Inst. Softwaretechnik und Theoretische Informatikde
tub.affiliation.facultyFak. 4 Elektrotechnik und Informatikde
tub.affiliation.instituteInst. Softwaretechnik und Theoretische Informatikde
tub.publisher.universityorinstitutionTechnische Universität Berlin

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
mathcalmadhesive_transformation_systems_part_1.pdf
Size:
1.3 MB
Format:
Adobe Portable Document Format
Download

Collections

Publications