×
琳达·布罗多

关于编码移动环境的\（\pi\）-演算的表达性。 （英语） Zbl 1387.68164号

数学。结构。计算。科学。 28，第2期，202-240（2018）.
摘要：通过将纯移动环境演算的第一个编码定义为同步演算，我们研究了两个经典分布式范例的表达能力。我们的编码，其正确性已通过依赖概念操作通信，显示了如何在独立进程之间的平坦通道互连中重新制定层次环境结构，而无需集中控制。为了便于处理模拟功能的计算，我们引入了以下概念模拟轨迹（表示\（\pi\）演算过程必须执行以模拟能力的计算）和中止跟踪（表示当功能模拟无法成功时，（pi）演算过程执行的计算）。因此，编码可以引入循环，但是，如将要示出的，任何轨迹的步数，因此任何中止轨迹的步数都是有限的，并且编码过程的转换系统的状态数仍然是有限的。特别是，中止跟踪会进行某种回溯，使涉及的子进程处于相同的启动配置中。我们还讨论了两种运行时支持方法，以使这些循环在执行时无害。我们的工作定义了一个相对简单、直接和精确的翻译，通过通道链接再现环境结构，并跟踪环境的溶解。

引用于三文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
PDF格式BibTeX公司 XML格式引用
\textit{L.Brodo}，数学。结构。计算。科学。28，第2号，202--240（2018；Zbl 1387.68164）
全文： 内政部

参考文献：

[1] 博得。，布罗多。和BruniR。(2013). 打开多方交互。在：马丁·奥列特。和帕洛米诺。（编辑）《代数发展技术的最新趋势》，计算机科学讲义，第7841卷，施普林格，柏林-海德堡，1-23·Zbl 1394.68244号
[2] 博得。，布罗多。，布鲁尼。和ChiarugiC。(2014). 嵌套膜相互作用的平面过程演算。计算机科学科学年鉴24（1）91-136.10.7561/SACS.2014.1.91·Zbl 1424.68101号
[3] 布罗多。(2011). 关于π演算的表现力和流动环境。收件人：JohnsonM。和巴甫洛维奇。（编辑）AMAST-代数方法论和软件技术，计算机科学讲义，第6486卷，Springer-Verlag，44-59·Zbl 1308.68082号
[4] 布罗多。，DeganoP公司。和PriamiC。(2003). 将移动环境反映到π演算中。收件人：PriamiC。（编辑）全球计算。《编程环境、语言、安全和系统分析》，《计算机科学讲义》，第2874卷，施普林格，柏林-海德堡，25-56·Zbl 1179.68101号
[5] 商业。，GabbrielliM。和ZavataroG。(2009). 过程计算中递归、复制和迭代的表达能力。计算机科学中的数学结构19（6）1191-1222.10.1017/S0960112950999017XS09601295099017X·Zbl 1191.68430号
[6] 卡德利。(2005). Brane结石-生物膜的相互作用。收件人：DanosV。和SchachterV。（编辑）《系统生物学中的计算方法》，《计算机科学讲义》，第3082卷，施普林格，柏林-海德堡，257-278·Zbl 1088.68657号
[7] 卡德利。和戈多纳。(2000). 移动环境。理论计算机科学240（1）177-213.10.1016/S0304-3975（99）00231-5·Zbl 0954.68108号
[8] CenciarelliP.、。，塔拉莫伊。和蒂贝里亚（2005）。环境图重写。《理论计算机科学电子笔记》，第117卷，爱思唯尔出版社，335-351页·Zbl 1272.68169号
[9] 乔巴努。和扎哈罗夫。A.（2007）。将移动环境编码为π演算。收件人：VirbitskaiteI。和沃伦科娃。（编辑）《系统信息学的观点》，计算机科学讲义，第4378卷，施普林格，柏林-海德堡，148-165·Zbl 1185.68439号
[10] FournetC.公司。，莱维杰-J.和SchmittA。(2000). 移动环境的异步分布式实现。收件人：LeeuwenJ。，渡边浩。，哈吉亚姆。，莫塞斯普。D.和ItoT。（编辑）《理论计算机科学：探索理论信息学的新前沿》，《计算机科学讲义》，第1872卷，施普林格，柏林-海德堡，348-364·Zbl 0998.68537号
[11] GadducciF公司。和MonrealeG。V.（2010）。移动环境的分散实施。逻辑与代数编程杂志80（2）113-136·Zbl 1207.68224号
[12] 戈拉。(2010). 分布和流动的过程计算分类。分布式计算23（4）273-299.10.1007/s00446-010-0120-6·Zbl 1231.68169号 ·doi:10.1007/s00446-010-0120-6
[13] 利维夫。和SangiorgiD。(2003). 移动安全环境。美国计算机学会程序设计语言与系统汇刊（TOPLAS）25（1）1-69.10.1145/596980.596981
[14] MilnerR.，ParrowJ。和WalkerD。(1992). 移动进程演算，第1-2部分。信息与计算100（1）1-77.10.1016/0890-5401（92）90008-4·Zbl 0752.68036号
[15] 帕拉米德斯。(2003). 比较同步和异步像素的表达能力。计算机科学中的数学结构15（5）685-719。
[16] 帕罗J。(2001). π演算简介。收录：《过程代数手册》，爱思唯尔科学，479-543.10.1016/B978-044482830-9/50026-6·Zbl 1035.68071号
[17] 普昂高。(2000). 使用膜进行计算。计算机与系统科学61（1）108-143.10.1006/jcss.1999.1693·Zbl 0956.68055号 ·doi:10.1006/jcss.1999.1693
[18] 菲利普斯。和维格利奥蒂姆。G.（2008）。用于环境结石的对称选举系统。信息与计算206（1）34-72.10.1016/j.ic.2007.08.005·Zbl 1133.68059号
[19] SangiorgiD。(1996). 结石、内部流动性和药物传递结石。理论计算机科学167（1&2）235-274.10.1016/0304-3975（96）00075-8·兹比尔0874.68103 ·doi:10.1016/0304-3975（96）00075-8
[20] 齐默尔。(2003). 纯粹安全环境的表现力。计算机科学中的数学结构13（5）721-770.10.1017/S0960129503004079·doi:10.1017/S0960129503004079
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。