×
迪加诺，皮尔保罗;科拉多·普里亚米

移动进程的非交互语义。 （英语） Zbl 0914.68128号

西奥。计算。科学。 216，编号1-2，237-270（1999）.
小结：本文研究了（pi）演算中的因果关系。我们的因果关系概念将过程的句法结构所给出的依赖性与传递名称所产生的依赖性相结合。我们的研究表明，在任何计算中，两个没有因果关系的转换都可能以固定的顺序发生，即，（pi）演算可能隐含地表示动作之间的优先级。相同的部分转换顺序与通过对并发转换进行洗牌而获得的所有计算相关（即既不受因果关系也不受优先级的影响）。对其他非交错语义进行了研究和比较。本演示利用了SOS风格中给出的过程行为的参数化定义，这使得我们几乎可以免费使用交错理论和工具。最后，我们将我们的方法扩展到了高阶（pi）演算，并用spawn操作进行了丰富。

引用于24文件

MSC公司：

68问题55 计算理论中的语义学

关键词：

移动计算;操作语义学;真正的并发

软件：

灵活
PDF格式BibTeX公司 XML格式引用
\textit{P.Degano}和\textit{C.Priami}，Theor。计算。科学。216，编号1--2，237--270（1999；Zbl 0914.68128）
全文： DOI程序

参考文献：

[1] Bodei，C。；Degano，P。；Priami，C.，《分布式环境下的移动进程》（Proc.ICALP’96）。程序。ICALP’96，《计算机科学讲义》，第1099卷（1996），施普林格：施普林格柏林），490-501·Zbl 1046.68613号
[2] M.Boreale，D.Sangiorgi，《π演算因果关系的完全抽象语义》，《信息学报》。，出现。；M.Boreale，D.Sangiorgi，《π演算因果关系的完全抽象语义》，《信息学报》。，出现·Zbl 0908.68103号
[3] 博尔吉亚，R。；Degano，P。；Priami，C。；莱特。；Thomsen，B.，《通过Facile的非干涉语义理解移动代理》（Proc.SAS’96）。程序。SAS’96，《计算机科学讲义》，第1145卷（1996），《施普林格：施普林格柏林》，98-112
[4] 布多尔，G。；Castellani，I.，基于已证明的转换的CCS非干涉语义，基金会。通知。，十一、 4433-452（1988）·Zbl 0657.68066号
[5] 布多尔，G。；卡斯特拉尼，I。；轩尼诗，M。；Kiehn，A.，《局部过程理论》，Theoret。计算。科学。，114 (1993) ·Zbl 0783.68072号
[6] 北布西。；Gorrieri，R.，π-微积分的Petri网语义，（Lee，I.；Smolka，S.A.，Proc.CONCUR'95。程序。CONCUR’95，《计算机科学讲义》，第962卷（1995），《施普林格：施普林格柏林》，145-159
[7] Darondeau博士。；Degano，P.，因果树，（Proc.ICALP’89。程序。ICALP’89，《计算机科学讲义》，第372卷（1989），施普林格：施普林格柏林），234-248
[8] Degano，P。；德尼古拉，R。；Montanari，U.，CCS的偏序导数，（Proc.FTC.Proc.FCT，计算机科学讲义，第199卷（1985），施普林格：施普林格柏林），520-533·Zbl 0701.68073号
[9] Degano，P。；德尼古拉，R。；Montanari，U.，基于条件/事件系统的CCS分布式操作语义，Acta Inform。，26, 59-91 (1988) ·Zbl 0656.68061号
[10] Degano，P。；德尼古拉，R。；Montanari，U.，CCS的部分排序语义，Theoret。计算。科学。，75, 223-262 (1990) ·Zbl 0701.68073号
[11] Degano，P。；Priami，C.，《探明树木》（Proc.ICALP’92）。程序。ICALP’92，计算机科学讲义，第623卷（1992），施普林格：施普林格柏林），629-640·Zbl 1425.68291号
[12] Fournet，C。；Gonthier，G。；Levy，J·J。；Maranget，L。；Remy，D.，《移动代理演算》（Proc.CONCUR’96）。程序。CONCUR’96，《计算机科学讲义》，第1119卷（1996），《施普林格：施普林格柏林》，406-421·Zbl 1514.68166号
[13] 贾卡隆，A。；米什拉，P。；Prasad，S.，《Facile:并发编程和函数编程的对称集成》，《国际并行编程杂志》，第18期，第121-160页（1989年）
[14] Jategaonkar，L.，《观察“真正的”并发性》（麻省理工学院博士论文（1993））
[15] Jagadeesan，L.Jategaonkar；Jagadeesan，R.，《因果关系和真正的并发性：π演算的数据流分析》（Proc.AMAST’95）。程序。AMAST’95，计算机科学讲义，第936卷（1995），施普林格：施普林格柏林），277-291·Zbl 1496.68228号
[16] Kiehn，A.，《比较基于位置和因果关系的等效性》，《信息学报》。，31, 8, 697-718 (1994) ·Zbl 0834.68070号
[17] Milner，R.，《沟通与并发》（1989），普伦蒂斯·霍尔：普伦蒂斯霍尔伦敦·Zbl 0683.68008号
[18] Milner，R.，《行动结构》（技术报告ECS-LFCS-92-249（1992），爱丁堡大学）·Zbl 0925.68151号
[19] 米尔纳，R。；Berry，D。；Turner，D.，ML并发原语的语义，（Proc.POPL'92（1992））
[20] 米尔纳，R。；帕罗，J。；Walker，D.，《移动进程演算》，Inform。和计算。，100，1，1-77（1992），（I和II）·Zbl 0752.68037号
[21] 米尔纳，R。；帕罗，J。；Walker，D.，移动过程的模态逻辑，Theoret。计算。科学。，114, 149-171 (1993) ·Zbl 0778.68033号
[22] 蒙塔纳里，美国。；Pistore，M.，《π演算的并发语义》（计算机科学电子笔记（1995），Elsevier:Elsevier Amsterdam），第1期
[23] Pratt，V.，用部分订单建模并发，国际。J.并行编程，15，33-71（1986）·Zbl 0622.68034号
[24] Priami，C。；Yanklevich，D.，《读写因果关系》（Proc.MFCS’94）。程序。MFCS’94，计算机科学讲义，第841卷（1994），施普林格：施普林格柏林），567-576·兹比尔1493.68254
[25] Reppy，J.，《高阶并发》，（康奈尔大学博士论文（1992），TR 92-1285
[26] Sangiorgi，D.，《在过程代数中表达移动性：一阶和高阶范式》（爱丁堡大学博士论文（1992））·Zbl 0956.68081号
[27] Sangiorgi，D.，《移动进程计算中的位置性和非交叉语义》（Proc.TACS’94）。程序。TACS’94，计算机科学讲义，第789卷（1994），施普林格：施普林格柏林）·Zbl 0874.68115号
[28] Thomsen，B.，Plain CHOCS:高阶过程的第二代微积分，Acta Inform。，30, 1, 1-59 (1993) ·Zbl 0790.68069号
[29] Winskel，G.，Petri网，代数，形态和合成，Inform。和计算。，72, 197-238 (1987) ·Zbl 0622.68052号
[30] Winskel，G。；Nielsen，M.，并发模型，（《计算机科学逻辑手册》（1995年），牛津大学出版社：牛津大学出版社）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。