×
丹尼尔·赫希科夫；Jean-Marie，马迪奥；徐，西安

具有预序的（pi）-演算的行为理论。 （英语） Zbl 1434.68328号

Dastani，Mehdi（编辑）等人，《软件工程基础》，第六届国际会议，FSEN 2015，伊朗德黑兰，2015年4月22日至24日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9392, 143-158 (2015).
小结：我们研究了Fusions和Chi演算传统中的P（pi）演算的行为理论。与这种计算相反，P的约简在名称上产生了一个前序，而不是等价关系。我们给出了P中倒刺同余的两个特征：第一个是基于组合LTS的，第二个是公理化。本文的结果给出了（pi）P的基本性质，主要与限制算子和名称上的序之间的相互作用有关。
因此，P是Fusion演算传统中的一种演算，可以利用类型和行为等效性来严格推理并发和移动系统。
有关整个系列，请参见[Zbl 1325.68015号].

引用于三文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

软件：

皮杜克
PDF格式BibTeX公司 XML格式引用
\textit{D.Hirschkoff}等人，Lect。注释计算。科学。9392、143--158（2015年；Zbl 1434.68328）
全文： 内政部 哈尔

参考文献：

[1] Abadi，M.，Fournet，C.：移动价值观、新名称和安全通信。In：程序。第104-115页。ACM（2001）·Zbl 1323.68398号 ·数字对象标识代码：10.1145/360204.360213
[2] Bengtson，J.，Johansson，M.，Parrow，J.，Victor，B.：Psi演算：移动过程、标称数据和逻辑。收录于：LICS，第39-48页。IEEE（2009）·Zbl 1213.68399号
[3] Boreale，M.，Buscemi，M.G.，Montanari，U.：D融合：一种独特的融合演算。收录：Chin，W.-N.（编辑）APLAS 2004。LNCS，第3302卷，第296–310页。斯普林格，海德堡（2004）·Zbl 1116.68540号 ·doi:10.1007/978-3-540-30477-7_20
[4] Boreale，M.，Buscemi，M.G.，Montanari，U.：通用名称绑定机制。收录人：De Nicola，R.，Sangiorgi，D.（编辑）TGC 2005。LNCS，第3705卷，第61-74页。斯普林格，海德堡（2005）·Zbl 1151.68508号 ·doi:10.1007/11580850_5
[5] Carpineti，S.，Laneve，C.，Padovani，L.：PiDuce——一个试验Web服务技术的项目。科学。计算。程序。 74(10), 777–811 (2009) ·Zbl 1194.68077号 ·doi:10.1016/j.scico.2009.03.002
[6] Deng，Y.，Sangiorgi，D.：走向类型移动过程的代数理论。西奥。计算。科学。 350(2-3), 188–212 (2006) ·Zbl 1086.68090号 ·doi:10.1016/j.tcs.2005.10.029
[7] Ehrhard，T.，Laurent，O.：非循环独奏和微分相互作用网。计算机科学中的逻辑方法6（3）（2010）·Zbl 1214.68246号 ·doi:10.2168/LMCS-6（3:11）2010年
[8] Fu，Y.：{\（chi\）}-演算。载于：APDC，第74-81页。IEEE计算机学会（1997）
[9] Gardner，P.，Laneve，C.，Wischik，L.：融合机（扩展摘要）。收录于：Brim，L.、Jančar，P.、Křetínskí，M.、Kučera，A.（编辑）CONCUR 2002。LNCS，第2421卷，第418-433页。斯普林格，海德堡（2002）·Zbl 1012.68527号 ·doi:10.1007/3-540-45694-5_28
[10] Hirschkoff，D.，Madiot，J.-M.，Sangiorgi，D.：传名结石：从融合到预定和类型。收录于：LICS，第378-387页。IEEE计算机学会（2013）·Zbl 1366.68205号
[11] Hirschkoff，D.，Madiot，J.-M.，Xu，X.：本文的长篇版本，网址：http://madiot.org
[12] Honda，K.，Yoshida，N.：关于基于约简的过程语义。西奥。公司。科学。 152(2), 437–486 (1995) ·Zbl 0871.68122号 ·doi:10.1016/0304-3975（95）00074-7
[13] 拉伊夫，C.，维克多，B.：独奏音乐会。计算机科学中的数学结构13（5），657–683（2003）·doi:10.1017/S0960129503004055
[14] Liu，J.，Lin，H.：应用pi演算的证明系统。In:IFIP TCS。IFIP AICT，第323卷，第229-243页。斯普林格，海德堡（2010）·Zbl 1198.68178号
[15] Parrow，J.，Sangiorgi，D.：通过名字计算的代数理论。Inf.计算。 120(2), 174–197 (1995) ·Zbl 0836.03020号 ·doi:10.1006/inco.1995.1108
[16] Parrow，J.，Victor，B.：融合演算：移动过程中的表现力和对称性。收录于：LICS，第176-185页。IEEE（1998）·doi:10.1109/LICS.1998.705654
[17] Pierce，B.C.，Sangiorgi，D.：移动进程的类型和子类型。计算机科学中的数学结构6（5），409–453（1996）·Zbl 0861.68030号
[18] Sangiorgi，D.，Walker，D.：Pi-Calculus:移动过程理论。剑桥大学出版社（2001）·Zbl 0981.68116号
[19] Victor，B.，Parrow，J.：融合演算中的并发约束。收录：Larsen，K.G.，Skyum，S.，Winskel，G.（编辑）ICALP 1998。LNCS，第1443卷，第455-469页。斯普林格，海德堡（1998）·Zbl 0915.03029号 ·doi:10.1007/BFb0055075
[20] Wischik，L.，Gardner，P.：显式融合演算的强互模拟。收录：Walukiewicz，I.（编辑）FOSSACS 2004。LNCS，第2987卷，第484-498页。斯普林格，海德堡（2004）·Zbl 1126.68512号 ·doi:10.1007/978-3-540-24727-234
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。