罗伯托·布鲁尼;乌戈·蒙塔纳里 用于并发的动态连接器。 （英语） Zbl 0996.68073号 西奥。计算。科学。 281，编号1-2，131-176（2002）. 摘要：我们提出了一种元理论方法来定义名称处理是关键问题的系统的操作和抽象并发语义。我们框架的主要成分是连接器和瓦片逻辑。前者允许对各种图形和术语结构进行建模，这在表示系统分布和因果关系历史方面很有用。后者用于结合在空间和时间上使用连接器（即根据配置和计算）。作为一个详细的案例研究，我们展示了如何为基本并行过程定义并发操作语义和因果弱双相似性。 引用于6文件 理学硕士： 2012年第68季度 语法和重写系统 68问题55 计算理论中的语义学 关键词：分布式系统;并发语义和因果语义;磁贴逻辑;连接子代数;配线;过程重写系统;基本并行过程 软件：莫德;OBJ咖啡馆 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}和\textit{U.Montanari}，Theor。计算。科学。281，编号1--2，131--176（2002；Zbl 0996.68073） 全文： 内政部 参考文献： [1] M.阿巴迪。；Gordon，A.D.，《密码协议演算和spi演算》，Inform。和计算。，148, 1, 1-70 (1999) ·Zbl 0924.68073号 [2] Abramsky，S。；盖伊，S。；Nagarajan，R.，交互类别和类型化并发编程的基础，（Broy，M.，Proc.1994 Marktoberdorf演绎程序设计暑期学校。Proc.1994马克托伯多夫演绎程序设计夏令营学校，Nato ASI系列F，Vol.152（1996），Springer:Springer Berlin），403-442 [3] A.Asperti，N.Busi，移动Petri网，UBLCS 96-10技术报告，博洛尼亚大学计算机科学系，1996年。；A.Asperti，N.Busi，移动Petri网，UBLCS 96-10技术报告，博洛尼亚大学计算机科学系，1996年·Zbl 1191.68427号 [4] 巴伦德里格特，H.P。；van Eekelen，M.C.J.D。；Glauert，J.R.W。；Kennaway，J.R。；Plasmeijer，M.J。；Sleep，M.R.，术语图改写，（de Bakker，J.W.；Nijman，A.J.；Trelevan，P.C.，《87年欧洲并行体系结构和语言》，87年《87年欧盟并行体系结构与语言》，《计算机科学讲义》，第259卷（1987），施普林格：施普林格柏林），141-158·Zbl 0681.68037号 [5] Bergstra，J.A。；Klop，J.W.，《抽象通信过程代数》，理论。计算。科学。，37, 77-121 (1985) ·Zbl 0579.68016号 [6] Berry，G。；Boudol，G.，化学抽象机器，定理。计算。科学。，96, 1, 217-248 (1992) ·Zbl 0747.68013号 [7] 布鲁姆，B。；Istrail，S。；Meyer，A.R.，《无法追踪相互模拟》，J.Assoc.Compute。机器。，42, 1, 232-268 (1995) ·Zbl 0886.68027号 [8] 布多尔，G。；Castellani，I.，分布式计算的流模型CCS的三个等价语义，Inform。和计算。，114, 2, 247-314 (1994) ·Zbl 0938.68715号 [9] 布多尔，G。；卡斯特拉尼，I。；轩尼诗，I。；Kiehn，A.，《观测地点》，Theoret。计算。科学。，114, 31-61 (1993) ·Zbl 0783.68072号 [10] 布多尔，G。；卡斯特拉尼，I。；轩尼诗，I。；Kiehn，A.，《局部过程理论》，形式方面计算。，6, 165-200 (1994) ·Zbl 0806.68070号 [11] R.Bruni，并行系统同步重写的Tile逻辑，比萨大学计算机科学系博士论文，1999年。；R.Bruni，并行系统同步重写的Tile逻辑，比萨大学计算机科学系博士论文，1999年。 [12] 布鲁尼，R。；de Frutos-Escrig，D。；北卡罗来纳州奥列特。；Montanari，U.，《开放项和术语图通过分片逻辑的双相似同余》，（Palamidessi，C.，Proc.CONCUR 2000，第11届国际并发理论会议，计算机科学讲稿，第1877卷（2000），Springer:Springer Berlin），259-274·Zbl 0999.68142号 [13] R.Bruni，F.Gadducci，跨度的一些代数定律（及其与多重关系的联系），收录于：W.Kahl，D.L.Parnas，G.Schmidt（编辑），Proc。RelMiS 2001，软件中的关系方法，理论计算机科学中的电子笔记，第44.3卷，爱思唯尔科学，阿姆斯特丹，2001年。另作为技术报告出版，Bericht Nr.2001-02，Fakultat fur Informatik，Universitat der Bundeswehr Munchen。；R.Bruni，F.Gadducci，跨度的一些代数定律（及其与多重关系的联系），收录于：W.Kahl，D.L.Parnas，G.Schmidt（编辑），Proc。RelMiS 2001，《软件中的关系方法》，理论计算机科学电子笔记，第44.3卷，爱思唯尔科学，阿姆斯特丹，2001年。也作为技术报告出版，Bericht Nr.2001-02，Fakultat fur Informatik，Universitat der Bundeswehr Munchen。 [14] 布鲁尼，R。；加杜奇，F。；Montanari，U.，划分和关系的范式，（Fiadeiro，J.L.，Proc.WADT’98，第13次代数发展技术最新趋势研讨会，计算机科学讲稿，第1589卷（1999），Springer:Springer-Berlin），31-47·Zbl 0955.68081号 [15] R.Bruni，F.Gadducci，U.Montanari，连接代数的范式，理论。计算。科学。，2002年，即将上市。；R.Bruni，F.Gadducci，U.Montanari，连接代数的范式，理论。计算。科学。，2002年，即将推出·兹比尔1061.68110 [16] R.Bruni，J.Meseguer，U.Montanari，《过程和术语逻辑》，技术报告SRI-CSL-98-06，SRI国际，1998年。比萨大学计算机科学系技术报告TR-98-09。；R.Bruni，J.Meseguer，U.Montanari，过程和术语逻辑，技术报告SRI-CSL-98-06，SRI国际，1998年。比萨大学计算机科学系技术报告TR-98-09·Zbl 0993.68058号 [17] 布鲁尼，R。；梅塞格尔，J。；Montanari，U.，《过程计算的可执行瓷砖规范》（Finance，J.-P.，Proc.FASE’99，软件工程的基本方法。Proc.FASE'99，软件工程学的基本方法，计算机科学讲义，第1577卷（1999），Springer:Springer Berlin），60-76 [18] 布鲁尼，R。；梅塞格尔，J。；Montanari，U.，《对称单体和笛卡尔双重范畴作为瓦片逻辑的语义框架，数学》。结构。计算。科学，12，53-90（2002）·Zbl 0993.68058号 [19] 布鲁尼，R。；Montanari，U.，Cartesian闭合双范畴、其lambda-notation和pi-calculus，（1999年第14届国际电气与电子工程师协会计算机科学逻辑交响曲，1999年），IEEE计算机社会出版社：IEEE计算机社会出版社，马里兰州银泉出版社），246-265 [20] 布鲁尼，R。；Montanari，U.，《零安全网：比较集体和个人令牌方法》，Inform。和计算。，156, 1-2, 46-89 (2000) ·Zbl 1046.68615号 [21] 布鲁尼，R。；蒙塔纳里，美国。；Sassone，V.，《开放式系统，动态互模拟和逻辑》，（van Leeuwen，J.；Watanabe，Hagiya，M.；Mosses，P.D.；Ito，T.，Proc.IFIP TCS 2000，IFIP Internat.Conf.on Theory Computer Science，Proc.IP-TCS 2000，IFIP-Internat.Conf.on Theoretical Computer Science，Lecture Notes in Computer，vol.1872（2000），施普林格：施普林格柏林），440-456·Zbl 0998.68087号 [22] Buscemi，M。；Sassone，V.，《高级Petri网作为连接演算中的类型理论》（Honsell，F.；Miculan，M.，Proc.FoSSaCS 2001，《软件科学和计算结构基础》。Proc.FoSSaCS 2001《软件科学基础和计算结构》，《计算机科学讲义》，第2030卷（2001），Springer:Springer Berlin）， 104-120 ·Zbl 0978.68104号 [23] Carboni，A。；卡桑吉安，S。；Street，R.H.，《跨度和关系的两类》，J.Pure Appl。代数，33，259-267（1984）·Zbl 0577.18005号 [24] Carboni，A。；Walters，R.F.C.，笛卡尔二分类I，J.Pure Appl。代数，49，11-32（1987）·兹比尔0637.18003 [25] Cardelli，L。；Gordon，A.D.，Mobile ambients，（Nivat，M.，Proc.FoSSaCS’98，软件科学和计算结构基础。Proc.FoSSaCS’1998，软件科学与计算结构基础，计算机科学讲义，第1378卷（1998），Springer:Springer Berlin），140-155·Zbl 0954.68108号 [26] 卡扎内斯库，V.E。；Stefanescu，G.，走向流程图方案理论的新代数基础，基金。通知。，13, 171-210 (1990) ·兹比尔0705.68071 [27] 卡扎内斯库，V.E。；Stefanescu，G.，有限关系类作为初始抽象数据类型I，离散数学。，90233-265（1991年）·Zbl 0739.08003号 [28] M.Clavel、F.Durán、S.Eker、n.Martñ-Oliet、J.Meseguer、J.Quesada、Maude:重写逻辑中的规范和编程。SRI国际，1999年。可在网址：http://maude.csl.sri.com/manual; M.Clavel、F.Durán、S.Eker、n.Martñ-Oliet、J.Meseguer、J.Quesada、Maude:重写逻辑中的规范和编程。SRI国际，1999年。可在网址：http://maude.csl.sri.com/manual [29] Corradini，A。；Gadducci，F.，术语图改写的双分类演示，（Moggi，E.；Rosolini，G.，《97年分类理论与计算机科学》，97年CTCS，《97年度分类理论与计算科学》，《计算机科学讲义》，第1290卷（1997），《施普林格：施普林格-柏林》），87-105·Zbl 0889.68085号 [30] Corradini，A。；Gadducci，F.，术语图的代数表示，通过gs-monoid范畴，应用。分类结构。，7, 299-331 (1999) ·Zbl 0949.68121号 [31] Corradini，A。；Gadducci，F.，多代数的函数语义，（Fiadeiro，J.L.，Proc.WADT’98，代数开发技术的最新趋势，Proc.WADT’1998，代数开发技巧的最新动向，计算机科学讲义，第1589卷（1999），Springer:Springer-Berlin），78-90·Zbl 0942.18002号 [32] A.Corradini，R.Heckel，U.Montanari，《合成SOS及其以外：开放系统的联合观点》，技术报告TR-01-01，比萨大学计算机科学系，2001年。理论。计算。科学。，出现。；A.Corradini，R.Heckel，U.Montanari，《合成SOS及其以外：开放系统的联合观点》，技术报告TR-01-01，比萨大学计算机科学系，2001年。理论。计算。科学。，出现·Zbl 1014.68107号 [33] Darondeau，P。；Degano，P.，因果树，（Ausiello，G.；Dezani-Ciancaglini，M.；Ronchi Della Rocca，S.，ICALP’89会议录，第16届国际自动化学术讨论会，语言与程序设计，施普林格：施普林格柏林），234-248 [34] Darondeau，P。；Degano，P.，事件结构和因果树中动作的精化，定理。计算。科学。，118, 21-48 (1993) ·Zbl 0805.68041号 [35] De Simone，R.，MEIJE-SCCS中的高级同步装置，Theoret。计算。科学。，37, 245-267 (1985) ·Zbl 0598.68027号 [36] Degano，P。；Priami，C.，Proved trees，（Kuich，W.，《ICALP’92会议录》，第19届国际自动化学术讨论会。《ICALP'92会议录，第19次国际自动化学术研讨会，语言与编程》，计算机科学讲稿，第623卷（1992），施普林格：施普林格柏林），629-640·Zbl 1425.68291号 [37] 迪亚科内斯库（Diaconescu，R.）。；Futatsugi，K.，CafeOBJ报告：面向对象代数规范的语言、证明技术和方法。CafeOBJ报告：面向对象代数规范的语言、证明技术和方法，AMAST计算系列，第6卷（1998），世界科学：世界科学新加坡·Zbl 0962.68115号 [38] Ehresmann，E.，结构分类：I-II，Ann.Écol。标准。补充，80，349-426（1963）·Zbl 0128.002号 [39] Ehresmann，E.，Cateégories structures:III，Cahiers Topologie Géom。Différentielle，5岁（1963年）·Zbl 0207.32502号 [40] 法拉利，G.L。；Montanari，U.，定位和移动系统的Tile格式，Inform。和计算。，156, 1-2, 173-235 (2000) ·Zbl 1046.68619号 [41] G.L.Ferrari，U.Montanari，M.Mowbray，因果流：分布式系统中的因果关系追踪（扩展抽象），收录于：E.Best，G.Rozenberg（编辑），Proc。第三期并发性和组成性研讨会，1991年，第99-108页。希尔德斯海默信息公司（Hildesheimer Informatik-Bericht），1991年6月。；G.L.Ferrari，U.Montanari，M.Mowbray，因果流：分布式系统中的因果关系追踪（扩展抽象），收录于：E.Best，G.Rozenberg（编辑），Proc。第三期并发性和组成性研讨会，1991年，第99-108页。希尔德斯海默信息公司（Hildesheimer Informatik-Bericht），1991年6月。 [42] Fournet，C。；Gonthier，G。；莱维，J.-J。；Maranget，L。；Rémy，D.，移动代理演算，（V.Sassone，U.Montanari，Proc.CONCUR’96，第七届国际并发理论会议，Proc.CONCUR’1996，第七期国际并发理论大会，计算机科学讲稿，第1119卷（1996），Springer:Springer Berlin），406-421·Zbl 1514.68166号 [43] Fox，T.，余代数和笛卡尔范畴，《公共代数》，4665-667（1976）·Zbl 0338.18005号 [44] 加杜奇，F。；赫克尔，R。；Llabrés，M.，并发图重写的双范畴公理化，（Hofmann，M.；Rosolini，G.；Pavlovic，D.，Proc.CTCS’99，第八范畴理论与计算机科学，Proc.CT’99，《第八范畴论与计算机科学》，理论计算机科学电子笔记，第29卷（1999），爱思唯尔科学：爱思唯尔科学阿姆斯特丹）·Zbl 0967.68089号 [45] F.Gadducci，U.Montanari，《瓷砖模型》，收录于：G.Plotkin，C.Stirling，M.Tofte（编辑），《证明、语言和互动：罗宾·米尔纳的论文》，麻省理工学院出版社，马萨诸塞州剑桥，2000年。还有技术报告TR-27/96，信息学院，比萨大学，1996年。；F.Gadducci，U.Montanari，《瓷砖模型》，收录于：G.Plotkin，C.Stirling，M.Tofte（编辑），《证明、语言和互动：罗宾·米尔纳的论文》，麻省理工学院出版社，马萨诸塞州剑桥，2000年。还有技术报告TR-27/96，信息学院，比萨大学，1996年。 [46] F.Gadducci，U.Montanari，《重写的比较逻辑：重写逻辑、动作演算和瓦片逻辑》，理论。计算。科学。，2002年，即将上市。；F.Gadducci，U.Montanari，比较重写逻辑：重写逻辑，动作演算和瓦片逻辑，定理。计算。科学。，2002年，即将发布·Zbl 1001.68056号 [47] Gardner，P.，闭式结石，定理。计算。科学。，228, 1-2, 77-103 (1999) ·Zbl 0954.68114号 [48] van Glabbeek，R.J。；Plotkin，G.D.，《配置结构》，（Kozen，D.，Proc.LICS’95，第10年。IEEE计算机科学中的逻辑交响乐团（1995），IEEE计算机学会出版社：IEEE计算机协会出版社，马里兰州银泉出版社），199-209·Zbl 1187.68329号 [49] J.戈根。；Malcolm，G.，《强制性程序的代数语义》（1997年），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥 [50] Groote，J.F。；Vaandrager，F.，结构化操作语义和互模拟作为同余，Inform。和计算。，100, 202-260 (1992) ·Zbl 0752.68053号 [51] 长谷川，M.，《循环共享的递归：循环lambda-calculus的跟踪单体范畴和模型》，（de Groote，Ph.；Hindly，R.，Proc.TLCA’97，《类型lambda Calculi和应用》，《计算机科学讲义》，第1210卷（1997），施普林格：施普林格柏林），196-213·Zbl 1063.68599号 [52] Hoenke，H.-J.，《关于部分代数》（Cákány，B.；Fried，E.；Schmidt，E.T.，《通用代数》，《数学学会学术讨论会János Bolyai》，第29卷（1977年），北荷兰：北荷兰阿姆斯特丹），373-412·Zbl 0492.18007号 [53] Honda，K.，《过程理论中的基本结构（1）：具有重命名的集合》，《数学》。结构。计算。科学。，10, 5, 617-663 (2000) ·Zbl 0968.68112号 [54] 本田，K。；Tokoro，M.，《异步通信的对象演算》（America，P.，Proc.ECOOP'91，第六届面向对象编程欧洲会议，Proc.ECOOP'91,第六届欧洲面向对象编程会议，计算机科学讲稿，第512卷（1991），Springer:Springer Berlin），1-20 [55] A.S.A.Jeffrey，Premonoid categories and A graphical view of programs，1998年，在线材料可从http://klee.cs.depaul.edu/premon/; A.S.A.Jeffrey，Premonoid categories and A graphical view of programs，1998年，在线材料可从http://klee.cs.depaul.edu/premon/ [56] Katis，P。；北萨巴迪尼。；Walters，R.F.C.，《过程的两类》，J.Pure Appl。代数，115，141-178（1997）·Zbl 0933.18008号 [57] Katis，P。；北萨巴迪尼。；Walters，R.F.C.，SPAN（图）：过渡系统的范畴代数，（Johnson，M.，Proc.AMAST’97，5th Internat.Conf.on Algebraic Methodology and Software Technology，Proc.AM AST’1997，5th Internat.Conf.on Algebrasic Methodoology and Software Technology。计算机科学讲义，第1349卷（1997），Springer:Springer Berlin）， 307-321 ·Zbl 0885.18004号 [58] Kiehn，A.，《比较基于位置和因果关系的等效性》，《信息学报》。，31, 697-718 (1994) ·Zbl 0834.68070号 [59] B.König，U.Montanari，带迁移的同步图重写的观测等价性，in：Proc。TACS'01，第四国际。交响乐团。《计算机软件的理论方面》，《计算机科学讲义》，第2215卷，施普林格出版社，柏林，2001年，第145-164页。；B.König，U.Montanari，带迁移的同步图重写的观测等价性，in：Proc。TACS'01，第四国际。交响乐团。关于计算机软件的理论方面，《计算机科学讲义》，第2215卷，施普林格，柏林，2001年，第145-164页·Zbl 1087.68606号 [60] Lafont，Y.，交互组合子，Inform。和计算。，137, 1, 69-101 (1997) ·Zbl 0882.68058号 [61] Larsen，K.G。；Xinxin，L.，通过上下文的操作语义实现组合，（Paterson，M.S.，Proc.ICALP'90，第17届国际自动化协会，语言与编程协会，Proc.IC ALP'90,17届国际自动化学会，语言与程序设计协会，计算机科学讲义，第443卷（1990），施普林格：施普林格柏林），526-539·Zbl 0765.68107号 [62] Lawvere，F.W.，代数理论的函数语义，Proc。美国国家科学院。科学。，50, 869-872 (1963) ·Zbl 0119.25901号 [63] D.Lugiez，Ph.Schnoebelen，《关于PA过程的常规观点》，摘自：Proc。INFINITY’98，第三届国际。无限状态系统验证研讨会，1998年，第27-43页。；D.Lugiez，Ph.Schnoebelen，《关于PA过程的常规观点》，摘自：Proc。INFINITY’98，第三届国际。无限状态系统验证研讨会，1998年，第27-43页·Zbl 0932.68052号 [64] Mayr，R.，《过程重写系统》，Inform。和计算。，156, 1-2, 264-286 (2000) ·Zbl 1046.68566号 [65] Meseguer，J.，《作为并发统一模型的条件重写逻辑》，Theoret。计算。科学。，96, 73-155 (1992) ·Zbl 0758.68043号 [66] Meseguer，J.，成员代数作为等式规范的逻辑框架，（Parisi Presicce，F.，Proc.WADT'97，代数发展技术最新趋势第12次研讨会。Proc.WADT'97，代数发展技术最新趋势第12次研讨会，计算机科学讲义，第1376卷（1998），施普林格：柏林施普林格），18-61·Zbl 0903.08009号 [67] 梅塞格尔，J。；Montanari，U.，《将瓦片逻辑映射到重写逻辑》，（Parisi-Presicce，F.，Proc.WADT’97，《代数发展技术最新趋势第12次研讨会》，Proc.WADT’1997，《代数开发技术最新动向第12次研讨会》，《计算机科学讲义》，第1376卷（1998年），Springer:Springer Berlin），62-91·Zbl 0903.08010 [68] Milner，R.，《互动演算》，《信息学报》。，33, 8, 707-737 (1996) ·Zbl 0853.68123号 [69] R.Milner，J.Parrow，J.Walker，移动进程演算，I和II，Inform。和计算。100（1）（1992）1-40,41-77；R.Milner，J.Parrow，J.Walker，移动进程演算，I和II，Inform。和计算。100 (1) (1992) 1-40,41-77 ·Zbl 0752.68037号 [70] U.Montanari，C.Talcott，Can演员和\（π\）；U.Montanari、C.Talcott、Can actors和\（π\）·Zbl 0925.68116号 [71] 蒙塔纳里，美国。；Yanklevich，D.，参数设置中的位置等效，Theoret。计算。科学。，149, 299-332 (1995) ·Zbl 0874.68122号 [72] M.Ppender，s-单体范畴中的泛代数，代数Berichte 20，慕尼黑大学数学系，1974年。；M.Ppender，s-单体范畴中的泛代数，代数Berichte 20，慕尼黑大学数学系，1974年·Zbl 0326.18003号 [73] Power，J。；Robinson，E.，前单体范畴和计算概念，数学。结构。计算。科学。，7, 453-468 (1998) ·Zbl 0897.18002号 [74] Protheo团队ELAN公司www页面http://elan.loria.fr; Protheo团队ELAN公司www页面http://elan.loria.fr [75] Rensink，A.，公开条款的相似性，Inform。和计算。，156, 1-2, 345-385 (2000) ·Zbl 1046.68626号 [76] 罗宾逊，E。；Rosolini，G.，《局部地图的类别》，Inform。和计算。，79, 95-130 (1988) ·Zbl 0656.18001号 [77] D.Sangiorgi，《过程代数中的迁移率表达：一阶和高阶范式》，博士论文，爱丁堡大学LFCS，1993年。CST-99-93（也称为ECS-LFCS-93-266）。；D.Sangiorgi，在过程代数中表达迁移：一阶和高阶范式，爱丁堡大学LFCS博士论文，1993年。CST-99-93（也称为ECS-LFCS-93-266）。 [78] Stefanescu，G.，《网络代数、离散数学和理论计算机科学》（2000），施普林格出版社：柏林施普林格·Zbl 0956.68002号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。