罗伯托·布鲁尼;何塞·梅塞格尔;乌戈·蒙塔纳里 在重写逻辑中平铺事务。 (英语) Zbl 1272.68291号 Gadducci,Fabio(编辑)等人,WRLA 2002。第四届重写逻辑及其应用国际研讨会论文集,意大利比萨,2002年9月19-21日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记71,90-109(2004)。 摘要:我们提出了重写逻辑中事务规范的模块化高级方法,其中操作视图和抽象视图通过瓦理论和重写理论类别之间的适当附加来关联。有关整个系列,请参见[Zbl 1271.68038号]. 引用于三文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 第68季度第42季度 语法和重写系统 03B70号 计算机科学中的逻辑 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人,《电子》。注释Theor。计算。科学。71、90-109(2004年;Zbl 1272.68291) 全文: 链接 参考文献: [1] Berry,G。;布多尔:化学文摘机。定理。计算。科学。96, 217-248 (1992) ·Zbl 0747.68013号 [2] R.Bruni.”并行系统同步重写的平铺逻辑”,比萨大学计算机科学系博士论文(1999年)。 [3] R.Bruni、C.Laneve和U.Montanari,《联合微积分中的协调事务》,Proc。CONCUR 2002,法学。计算中的注释。科学。(2002),即将发布·Zbl 1012.68524号 [4] R.Bruni、J.Meseguer和U.Montanari。过程和术语逻辑,技术报告SRI-CSL-98-06,SRI国际(1998)·Zbl 0917.68104号 [5] 布鲁尼,R。;Montanari,U.:零安全网:比较集体和个人令牌方法。通知。和计算。156, 46-89 (2000) ·Zbl 1046.68615号 [6] 布鲁尼,R。;Montanari,U.:并发的动态连接器。定理。计算。科学。281,第1-2131-176号(2002年)·Zbl 0996.68073号 [7] 布鲁尼,R。;蒙塔纳里,美国。;Rossi,F.:逻辑编程的交互语义。逻辑编程的理论与实践。1, 647-690 (2001) ·Zbl 1066.68512号 [8] Clavel,M。;Meseguer,J.:重写逻辑中的反思与策略。程序。WRLA’96,选举。计算中的注释。科学。4 (1996) ·Zbl 0917.68107号 [9] Ehresmann,E.:猫的结构:I-II。《Annalesécole normal superieur年鉴》80,349-426(1963)·Zbl 0128.002号 [10] Gadducci,F。;美国蒙塔纳里:瓦片模型,在证据、语言和互动中:纪念罗宾·米尔纳的文章。133-166 (2000) [11] Lawvere,F.W.:代数理论的函数语义。程序。国家科学院50,869-872(1963)·Zbl 0119.25901号 [12] J.梅塞盖尔。《重写为统一的并发模型》,《技术报告SRI-CSL-90-02R》,SRI International(1990)。 [13] Meseguer,J.:条件重写逻辑作为并发的统一模型。定理。计算。科学。96, 73-155 (1992) ·Zbl 0758.68043号 [14] 梅塞盖尔,J。;Montanari,U.:Petri网是幺半群。通知。和计算。88,No.2,105-155(1990)·Zbl 0711.68077号 [15] 梅塞盖尔,J。;Montanari,U.:在进程中将瓦片逻辑映射为重写逻辑。97年华盛顿。莱克特。计算机中的注释。科学。1376, 62-91 (1998) ·Zbl 0903.08010 [16] 梅塞盖尔,J。;奥勒夫茨基,P。;Stehr,M.-O.:在Petri网的发展中,重写逻辑作为Petri网统一框架:统一Petri网。莱克特。计算机中的注释。科学。2128, 250-303 (2001) ·Zbl 1017.68080号 [17] Plotkin,G.:操作语义的结构方法。(1981年) [18] 街道,R.:更高的类别,字符串,立方体和单纯形方程。应用范畴结构3,29-77(1995)·Zbl 0827.18002 [19] Street,R.:分类结构。代数手册,529-577(1996)·Zbl 0854.18001号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。