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

Home | About RECERCAT | Contact

Català | Castellano

All of RECERCAT

By Communities &
Collections By Defense Date By Authors By Titles By Subject

This Collection

By Defense Date By Authors By Titles By Subject

Statistics

View Statistics All RECERCAT

My RECERCAT

Other repositories directory

RECERCAT Home > Universitat Politècnica de Catalunya > Documents de recerca > View document

To access the full text documents, please follow this link: http://hdl.handle.net/2117/115944

dc.contributor	Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.contributor	Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
dc.contributor.author	Ehrig, Hartmut
dc.contributor.author	Golas, Ulrike
dc.contributor.author	Habel, Annegret
dc.contributor.author	Lambers, Leen
dc.contributor.author	Orejas Valdés, Fernando
dc.date	2014-08-01
dc.identifier.citation	Ehrig, H., Golas, U., Habel, A., Lambers, L., Orejas, F. M-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation. "Mathematical structures in computer science", 1 Agost 2014, vol. 24, núm. 4.
dc.identifier.citation	0960-1295
dc.identifier.citation	10.1017/S0960129512000357
dc.identifier.uri	http://hdl.handle.net/2117/115944
dc.language.iso	eng
dc.relation	https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/article/mathcalmadhesive-transformation-systems-with-nested-application-conditions-part-1-parallelism-concurrency-and-amalgamation/8EF676C6016E4A9B64127BBD873C9EF3
dc.rights	info:eu-repo/semantics/openAccess
dc.subject	Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
dc.subject	Parallel programming (Computer science)
dc.subject	Graph-transformations
dc.subject	Distributed systems
dc.subject	Synchronization
dc.subject	Confluence
dc.subject	Categories
dc.subject	Programs
dc.subject	Grammars
dc.subject	Model
dc.subject	Programació en paral·lel (Informàtica)
dc.title	M-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
dc.type	info:eu-repo/semantics/submittedVersion
dc.type	info:eu-repo/semantics/article
dc.description.abstract	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.
dc.description.abstract	Peer Reviewed

Show simple item record

All of RECERCAT

This Collection

Statistics

My RECERCAT

Related documents

Other documents of the same author