文章基本信息

标题：Composition of M,N-adhesive Categories with Application to Attribution of Graphs
本地全文：下载
作者：Christoph Peuser ; Annegret Habel
期刊名称：Electronic Communications of the EASST
电子版ISSN：1863-2122
出版年度：2016
卷号：73
语种：English
出版社：European Association of Software Science and Technology (EASST)
摘要：This paper continues the work on M,N-adhesive categories and shows some important composition properties for these categories. We present a new concept of attributed graphs and show that the corresponding category is M,N-adhesive. As a consequence, we inherit all nice properties for M,N-adhesive systems such as the Local Church-Rosser Theorem, the Parallelism Theorem, and the Concurrency Theorem for this type of attributed graphs.