×
A.罗曼内尔。;C·普里亚米。

关于β-结合物结构同余的可判定性和复杂性。 （英语） Zbl 1151.68040号

西奥。计算。科学。 404，编号1-2，156-169（2008）.
摘要：Beta-binders是最近开发的一种用于建模和模拟生物系统的过程演算。与过程计算一样，语义定义在很大程度上依赖于结构一致性。结构一致性的处理对实施至关重要。我们给出了结构同余可判定的微积分子集和结构同余也可有效求解的微积分子集。获得的结果是实现的第一步。

引用于1文件

MSC公司：

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

关键词：

过程性结石;结构同余;可判定性;复杂性
PDF格式BibTeX公司 XML格式引用
\textit{A.Romanel}和\textit{C.Priami}，Theor。计算。科学。404，编号1--2，156-169（2008；Zbl 1151.68040）
全文： 内政部 链接

参考文献：

[1] Priami，C。；Romanel，A.，《β-粘合剂结构同余的可判定性》，电子。注释Theor。计算。科学。，171, 2, 155-170 (2007) ·Zbl 1277.68200号
[2] A.Regev，E.Shapiro，《细胞作为计算》，《自然》419（6905）。http://dx.doi.org/10.1038/419343a; A.Regev，E.Shapiro，《细胞作为计算》，《自然》419（6905）。http://dx.doi.org/10.1038/419343a
[3] Milner，R.，《通信与并发》（1989），Prentice-Hall公司·Zbl 0683.68008号
[4] Hoare，C.，通信顺序过程，Commun。ACM，21、8、666-677（1978）·Zbl 0383.68028号
[5] Priami，C。；雷格夫，A。；夏皮罗，E。；Silvermann，W.，《随机命名演算在分子过程表示和模拟中的应用》，Inform。过程。莱特。，80, 1, 25-31 (2001) ·Zbl 0997.92018号
[6] 雷格夫，A。；帕尼娜，E。；西尔弗曼。；Cardelli，L。；夏皮罗，E.，《生物环境：生物隔间的抽象》，理论。计算。科学。，325, 1, 141-167 (2004) ·Zbl 1069.68569号
[7] Cardelli，L.，Brane calculi，（《系统生物学中的计算方法》，系统生物学的计算方法，LNCS，第3082卷（2005）），257-278·Zbl 1088.68657号
[8] Priami，C。；Quaglia，P.，《生物相互作用的β结合物》，（《系统生物学计算方法学报》，《系统生物学的计算方法汇编》，LNCS，第3082卷（2005）），20-33·Zbl 1088.68646号
[9] Gillespie，D.，耦合化学反应的精确随机模拟，J.Phys。化学。，81, 25, 2340-2361 (1977)
[10] Gillespie，D.，数值模拟耦合化学反应随机时间演化的一般方法，J.Phys。化学。，22, 403-434 (1976)
[11] 菲利普斯，A。；Cardelli，L.，随机pi-calculus的正确抽象机，（分子生物学中的并发模型（2004））
[12] A.Romanel，《贝塔粘合剂的随机抽象机》，硕士论文，2006年；A.Romanel，β-粘合剂的随机抽象机，硕士论文，2006年
[13] Priami，C。；Quaglia，P.，《Beta-binders的操作模式》，T.Comp。系统。生物学，150-65（2005）·Zbl 1117.92301号
[14] Degano，P。；Prandi，D。；Priami，C。；Quaglia，P.，生物定量实验用Beta粘合剂，电子。注释Theor。计算。科学。，164, 3, 101-117 (2006)
[15] J.Engelfriet，T.Gelsema，复制受限pi-calculus过程结构同余的可判定性，技术报告04-07，莱顿大学莱顿高级计算机科学研究所，荷兰，2004；J.Engelfriet，T.Gelsema，复制受限pi-calculus过程结构同余的可判定性，技术报告04-07，荷兰莱顿大学莱顿高级计算机科学研究所，2004·Zbl 1057.03022号
[16] Engelfriet，J.，《带复制的pi-calculus的多集语义》，Theoret。计算。科学。，153, 1-2, 65-94 (1996) ·Zbl 0872.68125号
[17] 恩格尔弗里特，J。；Gelsema，T.，《多重集和具有复制的pi-calculus的结构同余》，理论。计算。科学。，211, 1-2, 311-337 (1999) ·Zbl 0912.68125号
[18] J.Engelfriet，T.Gelsema，《像素中的结构一致性与潜在复制》，技术代表00-02，莱顿大学莱顿高级计算机科学研究所，荷兰，2000年；J.Engelfriet，T.Gelsema，像素中的结构一致性与潜在复制，技术代表00-02，莱顿大学莱顿高级计算机科学研究所，荷兰·Zbl 0912.68125号
[19] 恩格尔弗里特，J。；Gelsema，T.，《微积分中一种新的自然结构同余与复制》，《信息学报》。，40, 6-7, 385-430 (2004) ·Zbl 1057.03022号
[20] R.Milner，《多元pi-calculus:A tutorial》，技术代表ECSLFCS-91-180，英国爱丁堡大学计算机科学系，1991年；R.Milner，《多元pi-calculus:A tutorial》，技术代表ECSLFCS-91-180，英国爱丁堡大学计算机科学系，1991年
[21] Köbler，J。；美国施宁。；Torán，J.，图同构问题：结构复杂性（1993），Birkhäuser·Zbl 0813.68103号
[22] K.Booth，C.Colbourn，图同构多项式等价问题，技术代表CS-77-04，加拿大安大略省滑铁卢大学计算机科学系，1977年；K.Booth，C.Colbourn，图同构多项式等价问题，技术代表CS-77-04，加拿大安大略省滑铁卢大学计算机科学系，1977年
[23] de Bruijn，N.，Lambda微积分符号与无名假人，自动公式操作工具，Indag。数学。，34, 381-392 (1972) ·Zbl 0253.68007号
[24] L.Dematté，C.Priami，A.Romanel，BetaWB:建模和模拟生物过程，收录于：2007年夏季模拟多会议，2007年，第777-784页；L.Dematté，C.Priami，A.Romanel，BetaWB:建模和模拟生物过程，收录于：2007年夏季模拟多会议，2007年，第777-784页
[25] M.吉布森。；Bruck，J.，《具有多物种和多通道的化学系统的高效精确随机模拟》，J.Phys。化学。，104, 1876-1889 (2000)
[26] Gilmore，T.，Rel/NF-\（\κB\）信号转导途径：简介，肿瘤基因，19，49/6842-66844（1999）
[27] A.Ihekwaba，R.Larcher，R.Mardare，C.Priami，海报摘要：BetaWB——生物系统的模块化表示语言，收录于：ICSB 2007：第八届国际系统生物学会议，2007年，第61-62页。http://www.icsb-2007.org/proceedings/index.html; A.Ihekwaba，R.Larcher，R.Mardare，C.Priami，海报摘要：BetaWB——生物系统的模块化表示语言，载于：ICSB 2007：第八届国际系统生物学会议，2007年，第61-62页。http://www.icsb-2007.org/proceedings/index.html
[28] 黄，C。；Ferrell，J.，《有丝分裂原活化蛋白激酶级联反应的超敏性》，Proc。国家。阿卡德。科学。美国，93，19，10078-10083（1996）
[29] L.Dematté，C.Priami，A.Romanel，O.Soyer，《模拟生物途径进化的正式综合框架》，载于：CMSB，2007年，第106-120页；L.Dematté，C.Priami，A.Romanel，O.Soyer，《模拟生物途径进化的正式综合框架》，载于：CMSB，2007年，第106-120页
[30] 诺瓦克，B。；Csikasz-Nagy，A。；戈菲，B。；Nasmysy，K。；Tyson，J.，真核细胞周期进化的模型场景，Philos。事务处理。生物科学。，353, 1378, 2063-2076 (1998)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。