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

β-结合物结构一致性的可判定性。 （英语） Zbl 1277.68200号

Busi，Nadia（编辑）等人，《膜计算和生物启发过程结石第一次研讨会论文集》（MeCBIC 2006），S.Servolo，意大利威尼斯，2006年7月9日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》171，第2期，155-170（2007）。
摘要：Beta-binders是最近开发的用于建模和模拟生物系统的过程代数。与过程计算一样，语义定义在很大程度上依赖于结构一致性。结构一致性的处理对实施至关重要。本文报告的这种一致性的可判定性证明是实现的第一步。
关于整个系列，请参见[Zbl 1273.68017号].

引用于5文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
03B25号 理论和句子集的可判定性
92立方厘米 系统生物学、网络

关键词：

过程性结石;结构同余;可判定性
PDF格式BibTeX公司 XML格式引用
\textit{C.Priami}和\textit{A.Romanel}，电子。注释Theor。计算。科学。171，No.2，155--170（2007；Zbl 1277.68200）
全文： 内政部

参考文献：

[1] K.S.Booth和C.J.Colbourn。多项式等价于图同构的问题。技术报告CS-77-04，加拿大安大略省滑铁卢大学计算机科学系，1977年；K.S.Booth和C.J.Colbourn。多项式等价于图同构的问题。技术报告CS-77-04，加拿大安大略省滑铁卢大学计算机科学系，1977年
[2] Cardelli，L.，Brane结石，（《系统生物学计算方法汇编》，《系统生物学计算方法汇编》，LNCS，第3082卷（2005年），257-278·Zbl 1088.68657号
[3] P.Degano、D.Prandi、C.Priami和P.Quaglia。生物定量实验用β-粘合剂。在2006年第四届国际编程语言定量方面研讨会（QAPL 06）; P.Degano、D.Prandi、C.Priami和P.Quaglia。生物定量实验用β-粘合剂。在2006年第四届国际编程语言定量方面研讨会（QAPL 06）
[4] Engelfriet，J.，《带复制的pi-calculus的多集语义》，Theor。计算。科学。，153, 1&2, 65-94 (1996) ·Zbl 0872.68125号
[5] Engelfriet，J。；Gelsema，T.E.，《多重集与像素与复制的结构同余》，Theor。计算。科学。，211, 1-2, 311-337 (1999) ·Zbl 0912.68125号
[6] J.Engelfriet和T.E.Gelsema。pi-calculus中的结构一致性与潜在复制。《技术报告00-02》，莱顿大学莱顿高级计算机科学研究所，荷兰；J.Engelfriet和T.E.Gelsema。pi-calculus中的结构一致性与潜在复制。2000年荷兰莱顿大学莱顿高级计算机科学研究所技术报告00-02·Zbl 0912.68125号
[7] J.Engelfriet和T.E.Gelsema。复制受限pi-calculus过程结构同余的可判定性。《技术报告04-07》，荷兰莱顿大学莱顿高级计算机科学研究所，2004年；J.Engelfriet和T.E.Gelsema。复制受限pi-calculus过程结构同余的可判定性。2004年荷兰莱顿大学莱顿高级计算机科学研究所04-07技术报告·Zbl 1057.03022号
[8] 恩格尔弗里特，J。；Gelsema，T.E.，《像素中一种新的自然结构一致性与复制》，《国际学报》，40，6-7，385-430（2004）·Zbl 1057.03022号
[9] Gillespie，D.T.，数值模拟耦合化学反应随机时间演化的一般方法，J.Phys。化学。，22, 403-434 (1976)
[10] Köbler，J。；美国施宁。；Torán，J.，图同构问题：结构复杂性（1993），Birkhäuser·Zbl 0813.68103号
[11] R.米尔纳。多元论pi-calculus：教程。技术报告ECSLFCS-91-180，英国爱丁堡大学计算机科学系，1991年；R.Milner。多元论pi-calculus：教程。技术报告ECSLFCS-91-180，英国爱丁堡大学计算机科学系，1991年
[12] Priami，C。；Quaglia，P.，《生物相互作用的β结合物》（《系统生物学计算方法学报》，《系统生物学的计算方法汇编》，LNCS，第3082卷（2005）），20-33·Zbl 1088.68646号
[13] Priami，C。；Quaglia，P.，beta-binders的操作模式，T.Comp。系统。生物学，150-65（2005）·Zbl 1117.92301号
[14] Priami，C。；雷格夫，A。；夏皮罗，E。；Silvermann，W.，《随机命名演算在分子过程表示和模拟中的应用》，Inf.Process。莱特。，80, 1, 25-31 (2001) ·Zbl 0997.92018号
[15] 雷格夫，A。；Panina，E.M。；西尔弗曼。；Cardelli，L。；Shapiro，E.，《生物环境：生物隔间的抽象》，Theor。计算。科学。，325, 1, 141-167 (2004) ·Zbl 1069.68569号
[16] 雷格夫，A。；Shapiro，E.，《细胞作为计算》（2002），《自然》
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。