×
杰苏斯·阿兰达;巴伦西亚，弗兰克·D。;克里斯蒂安·维萨里

关于CCS中限制和优先权的表达能力以及复制。 （英语） Zbl 1234.68284号

de Alfaro，Luca（编辑），《软件科学和计算结构基础》。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。计算机科学讲座笔记5504，242-256（2009）。
摘要：我们研究限制的表达能力及其与复制的相互作用。我们通过考虑CCS\（_{！}\）（CCS具有复制而非递归）的几个语法变体来实现这一点，这些变体在复制限制的使用方面彼此不同。我们考虑了CCS\（{！}\）的三种语法变体，它们不允许使用无限数量的限制：CCS\。CCS是CCS的无限制片段。第三种变体是CCS\（_｛！+pr｝^｛-！\nu｝\），它用菲利普斯的优先级保护扩展了CCS\（_｛！｝^｛-！\nu｝\）。
我们证明了在CCS\（_{！}\）中使用无限多的限制对于获得图灵的表示性是必要的N.Busi公司,M.加布里埃利和G.扎瓦塔罗[“比较过程计算中的递归、复制和迭代”，Lect.Notes Compute.Sci.3142307-319（2004；Zbl 1098.68086号)]. 我们通过表明没有将RAM编码为CCS\（_{！}^{-！\nu}\）来实现这一点，CCS\保留并反映收敛。我们还证明了在失效等价之前，不存在从CCS（{！}）到CCS（_{！{^{-！\nu}）或从CCS到CCS的编码。作为上述结果的引理，我们证明了收敛性对于CCS\（_{！}^{-！\nu}\）是可判定的，语言等价性对于CCS \（_}！}^{-\nu}）也是可判定的。由此推论，对于无限制CCS，收敛是可以决定的。最后，我们通过在CCS\（_{！+pr}^{-！\nu}\）中提供RAM编码来展示优先级的表达能力。
关于整个系列，请参见[Zbl 1157.68009号].

引用于8文件

MSC公司：

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

引文：

Zbl 1098.68086号
PDF格式BibTeX公司 XML格式引用
\textit{J.Aranda}等人，Lect。票据计算。科学。5504242-256（2009年；Zbl 1234.68284）
全文： 内政部

参考文献：

[1] Amadio，R.，Meyssonnier，C.：关于异步{\（\pi\）}-演算中控制可达性问题的可判定性。北欧计算杂志9（2）（2002）·Zbl 1260.68253号
[2] Aranda，J.，Giusto，C.D.，Nielsen，M.，Valencia，F.D.：CCS与乔姆斯基层级中的复制：分歧的表达力。收录：邵，Z.（编辑）APLAS 2007。LNCS，第4807卷，第383–398页。斯普林格，海德堡（2007）·Zbl 1138.68038号 ·doi:10.1007/978-3-540-76637-7_26
[3] Aranda，J.，Valencia，F.，Versari，C.：关于限制和优先权在复制ccs中的表达能力。技术报告，爱尔兰理工学院（2008），http://www.lix.polytechnique.fr/Labo/Jesus.Aranda/publications/trccs.pdf ·Zbl 1234.68284号
[4] Baeten，J.C.M.，Bergstra，J.A.，Klop，J.W.：生成无上下文语言的过程的互模拟等价性的判定。J.ACM 40（3），653–682（1993）·Zbl 0801.68102号 ·doi:10.145/174130.174141
[5] Borger，E.，Gradel，E.，Gurevich，Y.：经典决策问题。斯普林格，海德堡（1994）
[6] Brookes，S.D.，Hoare，C.A.R.，Roscoe，A.W.：沟通顺序过程的理论。ACM杂志31（3），560-599（1984）·Zbl 0628.68025号 ·数字对象标识代码：10.1145/828.833
[7] Busi，N.、Gabbrielli，M.、Zavataro，G.：基于通道的计算中的复制与递归定义。收录人：Baeten，J.C.M.，Lenstra，J.K.，Parrow，J.，Woeginger，G.J.（编辑）ICALP 2003。LNCS，第2719卷，第133-144页。斯普林格，海德堡（2003）·Zbl 1039.68082号 ·数字对象标识代码：10.1007/3-540-45061-012
[8] Busi，N.，Gabbrielli，M.，Zavattaro，G.：比较过程演算中的递归、复制和迭代。收录：Díaz，J.，Karhumäki，J.，Lepistö，A.，Sannella，D.（编辑）ICALP 2004。LNCS，第3142卷，第307–319页。斯普林格，海德堡（2004）·Zbl 1098.68086号 ·doi:10.1007/978-3-540-27836-8_28
[9] Christensen，S.：过程代数中的可判定性和分解。爱丁堡大学博士论文（1993年）
[10] Christensen，S.，Hirshfeld，Y.，Moller，F.：ccs的可决定子集。计算。J.37（4），233-242（1994）·doi:10.1093/comjnl/37.4.233
[11] Esparza，J.，Nielsen，M.：petri网的可判定性问题。技术报告，金砖四国RS-94-8（1994）·Zbl 0791.68123号
[12] Giambiagi，P.，Schneider，G.，Valencia，F.D.：关于过程计算中无限行为和名称范围的表达。收录：Walukiewicz，I.（编辑）FOSSACS 2004。LNCS，第2987卷，第226-240页。斯普林格，海德堡（2004）·邮编1126.68500 ·doi:10.1007/978-3-540-24727-217
[13] Goltz，U.：Ccs和petri网。收录：Guessarian，I.（编辑）LITP 1990。LNCS，第469卷，第334-357页。斯普林格，海德堡（1990）·doi:10.1007/3-540-53479-2_14
[14] Hirshfeld，Y.：Petri网和等价问题。收录：Meinke，K.，Börger，E.，Gurevich，Y.（编辑）CSL 1993。LNCS，第832卷，第165-174页。斯普林格，海德堡（1994）·兹比尔0953.68571 ·doi:10.1007/BFb0049331
[15] Milner，R.：沟通与并发。Prentice-Hall，Englewood Cliffs（1989）·Zbl 0683.68008号
[16] Minsky，M.：计算：有限和无限机器。普伦蒂斯·霍尔（Prentice-Hall），恩格伍德悬崖（Englewood Cliffs）（1967年）·Zbl 0195.02402号
[17] 菲利普斯：抄送优先警卫。J.日志。阿尔盖布。程序。 75(1), 139–165 (2008) ·Zbl 1134.68042号 ·doi:10.1016/j.jlap.2007.06.005
[18] Taubner，D.：利用自动机和Petri网对CCS和TCSP程序进行有限表示。在：Taubner，D.A.（编辑）通过自动机和Petri网的CCS和TCSP程序的有限表示。LNCS，第369卷。斯普林格，海德堡（1989）·Zbl 0684.68011号 ·doi:10.1007/3-540-51525-9
[19] Versari，C.，Busi，N.，Gorrieri，R.：关于过程计算中全局和局部优先级的表达能力。收录：Caires，L.，Vasconcelos，V.T.（编辑）CONCUR 2007。LNCS，第4703卷，第241-255页。斯普林格，海德堡（2007）·Zbl 1151.68557号 ·doi:10.1007/978-3-540-74407-8_17
[20] Zavataro，G.，Cardelli，L.：化学动力学中的终止问题。收录：van Breugel，F.，Chechik，M.（编辑）CONCUR 2008。LNCS，第5201卷，第477-491页。斯普林格，海德堡（2008）·Zbl 1160.68478号 ·doi:10.1007/978-3-540-85361-9_37
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。