×
文森特·达诺斯;科西莫·拉内夫

正式分子生物学。 （英语） Zbl 1071.68041号

西奥。计算。科学。 325，第1期，69-110（2004）.
摘要：介绍了一种形式蛋白质语言，即kappa演算。交互作用在领域级别建模，键通过共享名称表示，反应需要满足单调的因果关系要求。
本文介绍了一个简化的信号通路示例，以说明如何用我们的蛋白质语言表达标准生物事件。一个更全面的例子，乳糖操纵子，也得到了发展，带来了一些信心，形式主义被视为一种建模语言。
然后考虑一个细粒度的并发模型，即（m\kappa）演算，其中的交互最多只能是二进制的。我们展示了如何将粗粒度语言嵌入到后者中，我们称之为自组装。
最后，我们展示了如何将细粒度语言本身编码为\（\pi\）-演算，这是并发理论的标准基础语言。

引用于三评论
引用于101文件

MSC公司：

65年第68季度 形式语言和自动机
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
92C40型 生物化学、分子生物学
PDF格式BibTeX公司 XML格式引用
\textit{V.Danos}和\textit{C.Laneve}，Theor。计算。科学。325，编号1，69--110（2004；Zbl 1071.68041）
全文： 内政部

参考文献：

[1] Berry，G。；Boudol，G.，《化学抽象机》，理论。计算。科学，96，217-248（1992）·Zbl 0747.68013号
[2] R.Bruni，C.Laneve，U.Montanari，《联合微积分中的协调事务》，摘自：Proc。02年2月。《计算机科学讲义》，第2421卷，柏林斯普林格出版社，2002年，第321-337页。；R.Bruni，C.Laneve，U.Montanari，《联合微积分中的协调事务》，摘自：Proc。02年2月。《计算机科学讲义》，第2421卷，施普林格，柏林，2002年，第321-337页·Zbl 1012.68524号
[3] L.Cardelli，Brane calculi，摘自：Proc。BIO-CONCUR'03，法国马赛，《理论计算机科学电子笔记》，爱思唯尔，阿姆斯特丹，2003年出版。；L.Cardelli，Brane calculi，摘自：Proc。BIO-CONCUR’03，法国马赛，《理论计算机科学电子笔记》，爱思唯尔，阿姆斯特丹，2003年出版。
[4] L.Cardelli，P.Gardner，G.Ghelli，《利用隐藏标签操纵树木》，载于：Proc。FOSSACS 2003，计算机科学讲义，第2620卷，施普林格，柏林，2003，第216-232页。；L.Cardelli，P.Gardner，G.Ghelli，《用隐藏标签操纵树木》，摘自：Proc。FOSSACS 2003，《计算机科学讲义》，第2620卷，柏林斯普林格，2003年，第216-232页·Zbl 1029.68092号
[5] M.Chiaverini，V.Danos，工作分子生物学家的核心建模语言，摘自：Proc。CMSB'03，计算机科学讲义，第2602卷，施普林格，柏林，2003年，第166页。；M.Chiaverini，V.Danos，工作分子生物学家的核心建模语言，摘自：Proc。CMSB'03，《计算机科学讲义》，第2602卷，施普林格，柏林，2003年，第166页·Zbl 1112.92313号
[6] V.Danos，J.Krivine，CCS中的正式分子生物学，摘自：Proc。BIO-CONCUR’03，法国马赛，《理论计算机科学电子笔记》，爱思唯尔出版社，2003年出版。；V.Danos，J.Krivine，CCS中的正式分子生物学，摘自：Proc。BIO-CONCUR’03，法国马赛，《理论计算机科学电子笔记》，爱思唯尔出版社，2003年出版。
[7] V.Danos，G.Laneve，《核心形式分子生物学》，摘自：Proc。第十二届欧洲交响乐团。《程序设计》（ESOP’03），波兰华沙，计算机科学讲义，第2618卷，柏林斯普林格，2003年，第302-318页。；V.Danos，G.Laneve，《核心形式分子生物学》，摘自：Proc。第十二届欧洲交响乐团。关于编程（ESOP’03），波兰华沙，计算机科学讲义，第2618卷，柏林斯普林格，2003年，第302-318页·Zbl 1033.92013年
[8] V.Danos，C.Laneve，正式分子生物学图，收录于：Proc。第一国际。系统生物学计算方法研讨会（CMSB'03），意大利罗维雷托，计算机科学讲稿，第2602卷，柏林施普林格出版社，2003年，第34-46页。；V.Danos，C.Laneve，正式分子生物学图，收录于：Proc。第一国际。系统生物学计算方法研讨会（CMSB'03），意大利罗维雷托，计算机科学讲稿，第2602卷，柏林施普林格出版社，2003年，第34-46页·Zbl 1053.92021号
[9] Diestel，R.，图论（2000），Springer:Springer New York·Zbl 0945.05002号
[10] F.L.Fessant，Jocaml：《手机非语言代理的概念与实现》，博士论文，法国高等理工学院，2001年。；F.L.Fessant，Jocaml：《手机非语言代理的概念与实现》，博士论文，法国高等理工学院，2001年。
[11] Fontana，W。；Buss，L.W.，《对象的屏障：从动力系统到有界组织》（The barrier of objects:from dynamic systems to bounded organizations），（Casti，J.；Karlqvist，A.，《边界和屏障》（Boundaries and Barriers）（1996），艾迪森·韦斯利：马萨诸塞州艾迪森·韦斯利·雷丁），56-116
[12] C.Fournet，G.Gonthier，《反身化学抽象机与联合演算》，收录于：第23届ACM交响曲。《程序设计语言原理》（POPL’96），1996年。；C.Fournet，G.Gonthier，《反身化学抽象机与联合演算》，收录于：第23届ACM交响曲。《编程语言原理》（POPL'96），1996年。
[13] Gillespie，D.T.，耦合化学反应的精确随机模拟，物理学杂志。《化学》，81，2340-2361（1977）
[14] Hasty，J。；McMillen博士。；Collins，J.J.，《工程基因电路》，《自然》，420，224-230（2002）
[15] Inada，T。；Kimata，K。；Aiba，H.，大肠杆菌中葡萄糖-乳糖二糖对cAMP模型的挑战机制，基因细胞，1，3，293-301（1996）
[16] J.W.Kimball，Kimball的生物页面，在线生物教科书，2003年。；J.W.Kimball，Kimball的生物页面，在线生物教科书，2003年。
[17] E.Klavins，装配和成形控制器的自动合成，in：Proc。国际。机器人与自动化会议，2002年。；E.Klavins，装配和成形控制器的自动合成，in：Proc。国际。机器人与自动化会议，2002年。
[18] K.W.Kohn，哺乳动物细胞周期控制和DNA修复系统的分子相互作用图，分子生物学。细胞（10）（1999）2703-2734。；K.W.Kohn，哺乳动物细胞周期控制和DNA修复系统的分子相互作用图，分子生物学。Cell（10）（1999）2703-2734。
[19] Lafont，Y.，交互组合子，Inform。和计算，137，1，69-101（1997）·Zbl 0882.68058号
[20] 米尔纳，R。；帕罗，J。；Walker，D.，移动进程I和II的微积分，Inform。和计算，100，1，41，42.78（1992）·Zbl 0752.68037号
[21] J.Monod，F.Jacob，《一般结论：细胞新陈代谢、生长和分化中的遥操作机制》，《冷泉港交响乐团》。《定量生物学：细胞调控机制》，1961年第26卷，第389-401页。；J.Monod，F.Jacob，《一般结论：细胞新陈代谢、生长和分化中的遥操作机制》，《冷泉港交响乐团》。《定量生物学：细胞调控机制》，1961年第26卷，第389-401页。
[22] C.Priami，具有一般分布的随机pi-calculus，in：CLUP（Ed.），Proc。PAPM 961996年。；C.Priami，具有一般分布的随机pi-calculus，in：CLUP（Ed.），Proc。PAPM 961996年。
[23] C.Priami，A.Regev，E.Shapiro，W.Silverman，《随机名字传递演算在分子过程表示和模拟中的应用》，Inform。过程。莱特。(2001).; C.Priami，A.Regev，E.Shapiro，W.Silverman，随机名称传递微积分在分子过程表示和模拟中的应用，Inform。过程。莱特。(2001). ·Zbl 0997.92018号
[24] A.Regev、E.M.Panina、W.Silverman、L.Cardelli、E.Shapiro，《生物环境：生物隔室的抽象》，理论。计算。科学。（2003年）出现。；A.Regev、E.M.Panina、W.Silverman、L.Cardelli、E.Shapiro，《生物环境：生物隔室的抽象》，理论。计算。科学。（2003）发布·Zbl 1069.68569号
[25] 雷格夫，A。；Shapiro，E.，细胞作为计算，自然，419（2002）
[26] A.Regev，W.Silverman，E.Shapiro，使用π表示和模拟生化过程；A.Regev，W.Silverman，E.Shapiro，使用π表示和模拟生化过程
[27] Segel，I.H.，《酶动力学：快速平衡和稳态酶系统的行为和分析》（1975年），威利出版社，纽约
[28] A.Unypoth，P.Sewell，Nomadic Pict：移动计算的正确通信基础设施，见：Proc。POPL 2001年，2001年。；A.Unypoth，P.Sewell，Nomadic Pict：移动计算的正确通信基础设施，见：Proc。POPL 2001年，2001年·Zbl 1323.68416号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。