×

显式融合演算的预处理环境。 (英语) Zbl 1290.68089号

摘要:名称传递演算是当今规范具有动态演进拓扑的并发和分布式系统的首选形式之一。尽管它们作为一种理论工具被广泛采用,但它们仍然面临一些尚未解决的语义问题,因为标准的操作、指称和逻辑方法常常被证明不足以解释这些形式主义。已成功用于非对称通信语言的域,如\(\pi\)-演算,是基于(内射)重标记的预heaf类别,例如\(\mathrm{Set}^{\mathbbI}\)。具有对称约束的微积分,本着融合微积分的精神,给研究带来了新的挑战。在这项工作中,我们研究了显式融合演算,并建议使用前置范畴(mathrm{Set}^{mathbbE})对其语法和语义进行建模,其中(mathbbE)是等价关系和等价保持态射的范畴。

MSC公司:

第68季度第65季度 抽象数据类型;代数规范
18立方厘米50 形式语言的范畴语义

软件:

CC-Pi公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Bonchi,F.、Buscemi,M.G.、Ciancia,V.、Gadducci,F.:显性融合的一类。包含:并发、图形和模型。莱克特。计算中的注释。科学。,第5065卷,第544-562页。施普林格(2008)·Zbl 1144.68038号
[2] Bonchi,F.,König,B.,Montanari,U.:反应系统的饱和语义。In:程序。第69-80页。IEEE计算机学会(2006)
[3] Bonchi,F.,Montanari,U.:反应系统的Coalgebraic模型。In:程序。CONCUR公司。莱克特。计算中的注释。科学。,第4701卷,第364-380页。施普林格(2007)·Zbl 1151.68507号
[4] Bonchi,F.,Montanari,U.:符号语义学重温。In:程序。FOSSACS。莱克特。计算中的注释。科学。,第4962卷,第395-412页。施普林格(2008)·Zbl 1139.68039号
[5] Bonchi,F.,Montanari,U.:Coalgebraic符号语义学。In:程序。CALCO的。莱克特。计算中的注释。科学。,第5728卷,第173-190页。施普林格(2009)·Zbl 1239.68049号
[6] Boreale,M.,Buscemi,M.G.,Montanari,U.:D融合:一种独特的融合演算。In:程序。APLAS的。莱克特。计算中的注释。科学。,第3302卷,第296–310页。斯普林格(2004)·兹比尔1116.68540
[7] Boreale,M.,Sangiorgi,D.:{\(\pi\)}-演算双相似性的一些同余性质。西奥。公司。科学。198(1–2), 159–176 (1998) ·Zbl 0902.68117号 ·doi:10.1016/S0304-3975(97)00125-4
[8] Buscemi,M.G.,Montanari,U.:Cc-pi:用于指定服务级别协议的基于约束的语言。In:程序。员工持股计划。莱克特。计算中的注释。科学。,第4421卷,第18-32页。施普林格(2007)·Zbl 1187.68063号
[9] Ciancia,V.,Kurz,A.,Montanari,U.:编程语言语义的对称族。In:程序。CMCS。选举。计算中的注释。科学。,第264.2卷,第63-81页。爱思唯尔(2010)·Zbl 1247.68172号
[10] Ciancia,V.,Montanari,U.:对称、本地名称和名称的动态(去)分配。Inf.计算。208(12), 1349–1367 (2010) ·Zbl 1207.68223号 ·doi:10.1016/j.ic.2009.10.007
[11] Corradini,A.,Heckel,R.,Montanari,U.:组合SOS及其以外:开放系统的联合观点。西奥。公司。科学。280(1–2), 163–192 (2002) ·Zbl 1014.68107号 ·doi:10.1016/S0304-3975(01)00025-1
[12] Fiore,M.,Plotkin,G.,Turi,D.:抽象语法和变量绑定。In:程序。第193-202页。IEEE计算机学会(1999)
[13] Fiore,M.,Staton,S.:比较姓名传递过程计算的操作模型。Inf.计算。204(4), 524–560 (2006) ·Zbl 1101.68697号 ·doi:10.1016/j.ic.2005.08.004
[14] Fiore,M.,Staton,S.:基于数学结构操作语义的名称传递过程计算的同余规则格式。In:程序。第49-58页。IEEE计算机学会(2006)
[15] Fiore,M.P.,Moggi,E.,Sangiorgi,D.:{\(\pi\)}-演算的完全抽象模型。Inf.计算。179(1), 76–117 (2002) ·兹比尔1053.68066 ·doi:10.1006/inco.2002.2968
[16] Fiore,M.P.,Turi,D.:名称和值传递的语义。In:程序。第93-104页。IEEE计算机学会(2001)
[17] Gadducci,F.,Miculan,M.,Montanari,U.:关于置换代数,(前)层和命名集。高阶和符号计算19(2–3),283–304(2006)·Zbl 1105.68083号 ·doi:10.1007/s10990-006-8749-3
[18] Ghani,N.,Yemane,K.,Victor,B.:移动过程计算中的关系阶段计算。In:程序。CMCS。选举。Th.计算中的注释。科学。,第106卷,第105-120页。爱思唯尔(2004)·Zbl 1271.68183号
[19] 霍夫曼,M.:高阶抽象句法的语义分析。In:程序。第204-213页。IEEE计算机学会(1999)
[20] Leifer,J.J.,Milner,R.:推导反应系统的互模拟同余。In:程序。CONCUR公司。莱克特。计算中的注释。科学。,第1877卷,第243-258页。斯普林格(2000)·Zbl 0999.68141号
[21] Lenisa,M.,Power,J.,Watanabe,H.:操作语义学的范畴理论。西奥。公司。科学。327(1–2), 135–154 (2004) ·Zbl 1071.68059号 ·doi:10.1016/j.tcs.2004.07.024
[22] Mac Lane,S.:《工作数学家分类》,第二版。斯普林格(1998)·Zbl 0906.18001号
[23] Miculan,M.:融合演算的分类模型。In:程序。MFPS。选举。Th.计算中的注释。科学。,第218卷,第275-293页。爱思唯尔(2008)·Zbl 1286.68355号
[24] Miculan,M.,Yemane,K.:变量和名称的统一模型。In:程序。自由和开放源码软件。莱克特。计算中的注释。科学。,第3441卷,第170-186页。斯普林格(2005)·Zbl 1119.68117号
[25] Milner,R.,Parrow,J.,Walker,D.:移动进程的微积分,I和II。Inf.计算。100(1), 1–40, 41–77 (1992) ·Zbl 0752.68036号 ·doi:10.1016/0890-5401(92)90008-4
[26] Montanari,U.,Sassone,V.:CCS的动态同余与渐进互模拟。芬丹。通知。16(1), 171–199 (1992) ·Zbl 0762.68044号
[27] Parrow,J.,Victor,B.:融合演算:移动过程中的表达性和对称性。In:程序。第176-185页。IEEE计算机学会(1998)
[28] Plotkin,G.:操作语义学的结构方法。技术代表DAMI FN-19,奥胡斯大学计算机科学系(1981年)
[29] Rutten,J.J.M.M.:宇宙余代数:系统理论。西奥。公司。科学。249(1), 3–80 (2000) ·Zbl 0951.68038号 ·doi:10.1016/S0304-3975(00)00056-6
[30] Sangiorgi,D.:{\(\pi\)}-演算的互模拟理论。Acta通知。33(1), 69–97 (1996) ·Zbl 0835.68072号 ·doi:10.1007/s002360050036
[31] Scott,D.,Strachey,C.:走向计算机语言的数学语义。收录于:编程研究小组技术专著,第PRG-6卷。牛津大学计算机实验室(1971年)·Zbl 0268.68004号
[32] Stark,I.:{\(\pi\)}-演算的完全抽象领域模型。In:程序。第36-42页。IEEE计算机学会(1996)
[33] Staton,S.:相互模拟的相关联脑概念。In:程序。CALCO的。莱克特。计算中的注释。科学。,第5728卷,第191-205页。施普林格(2009)·Zbl 1239.68054号
[34] Tanaka,M.,Power,J.:变量绑定的伪分布定律和公理学。高阶和符号计算19(2–3),305–337(2006)·Zbl 1105.68077号 ·数字对象标识代码:10.1007/s10990-006-8750-x
[35] Turi,D.,Plotkin,G.D.:走向数学操作语义学。在:过程。第280-291页。IEEE计算机学会(1997)
[36] Wischik,L.,Gardner,P.:显式融合演算的强互模拟。In:程序。FOSSACS。莱克特。计算中的注释。科学。,第2987卷,第484-498页。斯普林格(2004)·Zbl 1126.68512号
[37] Wischik,L.,Gardner,P.:显式融合。西奥。公司。科学。340(3), 606–630 (2005) ·Zbl 1077.68066号 ·doi:10.1016/j.tcs.2005.03.017
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。