×
卢多维奇·亨利奥；艾瑞克·马德琳；张敏

并发进程组成的理论。 （英语） Zbl 1347.68267号

Albert，Elvira（编辑）等人，分布式对象、组件和系统的形式化技术。第36届IFIP WG 6.1国际会议，2016年FORTE，作为第11届分布式计算技术国际联合会议的一部分，2016年6月6日至9日在希腊克里特岛赫拉克利恩举行。诉讼程序。查姆：施普林格（ISBN 978-3-319-39569-2/pbk；978-3-3169-39570-8/电子书）。计算机科学讲座笔记9688，175-194（2016）。
摘要：在本文中，我们为构成并发进程的操作符提供了一个理论。Open pNets（同步自动机的参数化网络）是我们提出的用于定义复合运算符语义的新语义对象。本文使用“开放转换”定义了开放pNets的操作语义，其中包括对pNets“洞”行为的符号假设。我们讨论了这个语义何时可以是有限的，以及如何符号化地计算它，并且我们在一个简单的操作符上演示了这个构造。本文还定义了开放pNets之间的互模拟等价，并用同余定理证明了它的可判定性。
有关整个系列，请参见[Zbl 1339.68004号].

引用于5文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
PDF格式BibTeX公司 XML格式引用
\textit{L.Henrio}等人，Lect。票据计算。科学。9688，175--194（2016；Zbl 1347.68267）
全文： 内政部 哈尔

参考文献：

[1] De Simone，R.：MEIJE-SCCS中的高级同步装置。西奥。计算。科学。37245-267（1985年）·Zbl 0598.68027号 ·doi:10.1016/0304-3975（85）90093-3
[2] Larsen，K.G.：过程之间的上下文相关等价。西奥。计算。科学。49, 184–215 (1987) ·Zbl 0612.68027号 ·doi:10.1016/0304-3975（87）90007-7
[3] Hennessy，M.，Lin，H.：符号互模拟。西奥。计算。科学。138(2), 353–389 (1995) ·Zbl 0874.68187号 ·doi:10.1016/0304-3975（94）00172-F
[4] Lin，H.：带赋值的符号转换图。收录：Sassone，V.，Montanari，U.（编辑）CONCUR 1996。LNCS，第1119卷，第50-65页。斯普林格，海德堡（1996）·doi:10.1007/3-540-61604-7_47
[5] Hennessy，M.，Rathke，J.：广播系统演算的互模拟。西奥。计算。科学。200(1–2), 225–260 (1998) ·Zbl 0915.68065号 ·doi:10.1016/S0304-3975（97）00261-2
[6] Arnold，A.：过程和理性关系的同步行为。信息学报17，21–29（1982）·Zbl 0478.68027号 ·doi:10.1007/BF00262973
[7] Henrio，L.、Madelaine，E.、Zhang，M.：pNets:过程参数化网络的表达模型。In:第23届欧洲微观组织并行、分布式和网络处理国际会议（PDP 2015）（2015）·doi:10.1109/PDP.2015.70
[8] Cansado，A.，Madelaine，E.：基于网格组件的应用程序的规范和验证：从模型到工具。收录人：de Boer，F.S.，Bonsangue，M.M.，Madelaine，E.（编辑）FMCO 2008。LNCS，第5751卷，第180-203页。斯普林格，海德堡（2009）·Zbl 05622591号 ·doi:10.1007/978-3642-04167-9_10
[9] Henrio，L.、Kulanchina，O.、Li，S.、Madelaine，E.：用于验证和运行分布式组件的集成环境。摘自：Stevens，P.（编辑）FASE 2016。LNCS，第9633卷，第66-83页。斯普林格，海德堡（2016）。doi:10.1007/978-3-662-49665-7_5·Zbl 06571872号 ·doi:10.1007/978-3-662-49665-7_5
[10] Rensink，A.：开放条件的相似性。In:并发语言的表达能力（1997）·Zbl 0911.68066号 ·doi:10.1016/S1571-0661（05）80477-3
[11] Deng，Y.：验证中的强开放互模拟的算法\[\圆周率\]｛\（\pi\）｝微积分。J.上海交通大学，第2期，147–152页（2001年）·Zbl 1007.68135号
[12] Bultan，T.、Gerber，R.、Pugh，W.：使用presburger算法对无限状态系统进行符号模型检查。收录：Grumberg，O.（编辑）CAV 1997。LNCS，第1254卷，第400-411页。斯普林格，海德堡（1997）·doi:10.1007/3-540-63166-6_39
[13] Clarke，E.M.，Grumberg，O.，Jha，S.：验证参数化网络。ACM事务处理。程序。语言系统。19(5), 726–750 (1997) ·Zbl 01935869号 ·doi:10.1145/265943.265960
[14] Milner，R.：沟通与并发。计算机科学国际丛书。Prentice-Hall，Englewood Cliffs（1989）。SU Fisher研究511/24
[15] Henrio，L.，Madelaine，E.，Zhang，M.：并发过程组成理论——扩展版。Rapport de recherche RR-8898，INRIA，2016年4月·Zbl 1347.68267号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。