×
亚历山德罗·罗曼内尔;科拉多·普里亚米

关于BlenX的计算能力。 （英语） Zbl 1186.68200号

西奥。计算。科学。 411，第2期，542-565（2010）。
摘要：我们给出了BlenX语言子集的一些可判定性和不可判定性结果，这是一种基于过程计算的编程语言，用于模拟生物过程。我们表明，对于语言的核心子集（仅考虑通信原语），终止是可判定的。此外，我们证明了通过向该核心语言添加全局优先级或事件，我们可以获得图灵等价语言。证明是通过将随机存取机器（一种著名的图灵等价形式主义）编码到我们的BlenX子集中。所有编码均显示正确。

引用于1文件

MSC公司：

2005年第68季度 计算模型（图灵机等）（MSC2010）
65年第68季度 形式语言和自动机

关键词：

过程性结石;随机存取机器;图灵等价;终止可判定性;系统生物学

软件：

政治公众人物协议
PDF格式BibTeX公司 XML格式引用
\textit{A.Romanel}和\textit{C.Priami}，Theor。计算。科学。411，第2号，542--565（2010；Zbl 1186.68200）
全文： 内政部 链接

参考文献：

[1] 阿兰达，J。；F.D.巴伦西亚。；Versari，C.，《关于限制和优先权在复制ccs中的表达能力》，（FOSSACS.FOSSACS，《计算科学讲义》，第5504卷（2009年），Springer），242-256·Zbl 1234.68284号
[2] Baeten，J.C.M。；Bergstra，J.A.（伯格斯特拉，J.A.）。；Klop，J.W.，进程代数中中断机制的语法和定义方程，FUNINF，IX，2，127-168（1986）·Zbl 0617.68027号
[3] N.Busi，M.Gabbrielli，G.Zavattaro，《论过程演算中递归、复制和迭代的表现力》，数学。结构。计算。科学。（印刷中）；N.Busi，M.Gabbrielli，G.Zavataro，《关于过程计算中递归、复制和迭代的表达能力》，《数学》。结构。计算。科学。（印刷中）·兹比尔1191.68430
[4] 北布西。；Gorrieri，R.，《关于Brane演算的计算能力》，《理论计算》。系统。《生物学》，16-43（2006）
[5] 北布西。；Zavattaro，G.，《论纯流动环境中运动和限制的表现力》，Theoret。计算。科学。，322, 3, 477-515 (2004) ·Zbl 1071.68072号
[6] J.卡米莱里。；Winskel，G.，CCS与优先选择，Inform。计算。，116, 1, 26-37 (1995) ·Zbl 0818.68107号
[7] Cardelli，L.，Brane calculi（CMSB（2004）），第257-278页·Zbl 1088.68657号
[8] Cardelli，L。；Zavattaro，G.，《论生物化学的计算能力》，（AB'08：第三届代数生物学国际会议论文集（2008），施普林格出版社：施普林格出版社，海德堡，柏林），65-80·Zbl 1171.92318号
[9] 克里维兰，R。；Hennessy，M.，过程代数中的优先级，Inform。计算。，87, 1-2, 58-77 (1990) ·Zbl 0726.68053号
[10] 居里，P.l。；Danos，V。；Krivine，J。；Zhang，M.，计算自组装，Theoret。计算。科学。，404, 1-2, 61-75 (2008) ·Zbl 1151.68034号
[11] Danos，V。；Laneve，C.，《形式分子生物学》，Theoret。计算。科学。，325, 1, 69-110 (2004) ·Zbl 1071.68041号
[12] Degano，P。；Prandi，D。；Priami，C。；Quaglia，P.，生物定量实验用Beta-binders，ENTCS，164，3，101-117（2006）
[13] 德马特，L。；Priami，C。；Romanel，A.，BetaWB:建模和模拟生物过程，（SCSC：2007年夏季计算机模拟会议论文集（2007），国际计算机模拟学会：国际计算机模拟协会，美国加利福尼亚州圣地亚哥），777-784
[14] 德米特，L。；Priami，C。；Romanel，A.，《贝塔工作台：研究生物系统动力学的计算工具》，简介。生物信息。，9, 5, 437-449 (2008)
[15] 芬克尔，A。；Schnoebelen，P.，结构良好的过渡系统无处不在！，理论。计算。科学。，256, 1-2, 63-92 (2001) ·Zbl 0973.68170号
[16] 吉尔摩，S。；Hillston，J.，（《PEPA工作台：一种支持基于过程代数的绩效建模方法的工具》，《PEPA Workbench:一种支持以过程代数为基础的绩效建模方式的工具》），LNCS，第794卷（1994），Springer-Verlag），353-368
[17] Harel，D.，《复杂系统的视觉形式主义》，科学。计算。程序。，8, 231-274 (2002) ·Zbl 0637.68010号
[18] 希格曼，G.，抽象代数中的可除性排序，Proc。伦敦数学。学会（3），2，326-336（1952）·Zbl 0047.03402号
[19] 简·希尔斯顿，《绩效建模的组合方法》（1996），剑桥大学出版社：剑桥大学出版社，美国纽约州纽约市·Zbl 1080.68003号
[20] 考夫曼，S.A.，随机构建遗传网络中的代谢稳定性和表观发生，J.Theoret。《生物学》，22437-467（1969）
[21] （Kitano，H.，《系统生物学基础》（2001年11月），麻省理工学院出版社：麻省理工学院出版社，美国马萨诸塞州剑桥）
[22] Maffeis，S。；菲利普斯，I.，《纯环境计算的计算强度》，理论。计算。科学。，330, 3, 501-551 (2005) ·Zbl 1078.68108号
[23] Milner，R.，《通信与并发》（1989），Prentice-Hall公司·Zbl 0683.68008号
[24] Milner，R.，《作为过程的功能》，MSCS，2119-141（1992）·Zbl 0773.03012号
[25] Minsky，M.L.，《计算：有限和无限机器》（1967），普伦蒂斯·霍尔公司：普伦蒂斯霍尔公司，美国新泽西州上鞍河·Zbl 0195.02402号
[26] Paun，G.，《膜计算：简介》（2002），Springer-Verrag New York，Inc.：Springer-Verlag New York，Inc.，美国新泽西州塞考克斯·Zbl 1034.68037号
[27] C.A.Petri，Kommunikation mit Automaten，波恩大学博士论文，1962年；C.A.Petri，Kommunikation mit Automaten，波恩大学博士论文，1962年
[28] A.Phillips，L.Cardelli，随机pi-calculus的正确抽象机，载于：Bioconcur’04，2004年8月；A.Phillips，L.Cardelli，随机pi-calculus的正确抽象机，收录于：Bioconcur’04，2004年8月
[29] Phillips，I.，（CCS with Priority Guards，CCS with.Priority Guards，LNCS，第2154卷（2001））·Zbl 1006.68082号
[30] Plotkin，G.D.，《操作语义的结构方法》，J.逻辑代数程序。，17-139 (2004) ·Zbl 1082.68062号
[31] Priami，C。；Quaglia，P.，生物相互作用的β结合物，（Danos，V.；Schächter，V.，CMSB.CMSB，LNCS，第3082卷（2005），Springer）·Zbl 1088.68646号
[32] Priami，C。；Quaglia，P.，《贝塔粘合剂的操作模式》，理论计算。系统。生物学，1，50-65（2005）·Zbl 1117.92301号
[33] Priami，C。；雷格夫，A。；夏皮罗，E。；Silvermann，W.，《随机命名演算在分子过程表示和模拟中的应用》，Inform。过程。莱特。，80, 1, 25-31 (2001) ·Zbl 0997.92018号
[34] 雷格夫，A。；Panina，E.M。；西尔弗曼。；Cardelli，L。；夏皮罗，E.，《生物环境：生物隔间的抽象》，理论。计算。科学。，325, 1, 141-167 (2004) ·Zbl 1069.68569号
[35] 雷格夫，A。；Shapiro，E.，《细胞作为计算》，《自然》，4192002年9月
[36] A.Romanel，L.Dematté，C.Priami，测试版工作台，技术报告TR-03-2007，CoSBi，2007；A.Romanel，L.Dematté，C.Priami，测试工作台，技术报告TR-03-2007，CoSBi，2007年·Zbl 1277.68200号
[37] 罗曼内尔，A。；Priami，C.，《关于β-结合物结构同余的可判定性和复杂性》，Theoret。计算。科学。，404, 1-2, 156-169 (2008) ·Zbl 1151.68040号
[38] Sangiorgi，D。；Walker，D.，《（pi）-微积分：移动过程理论》（2001），剑桥大学出版社·Zbl 0981.68116号
[39] Shepherdson，J.C。；Sturgis，H.E.，递归函数的可计算性，J.ACM，10，2，217-255（1963）·Zbl 0118.25401号
[40] Versari，C。；北布西。；Gorrieri，R.，《论过程演算中全局和局部优先级的表达能力》，（CONCUR.CCONUR，《计算机科学讲义》，第4703卷（2007年），施普林格出版社），241-255·Zbl 1151.68557号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。