罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜 结石模拟膜中的相互模拟。 (英语) Zbl 1152.68035号 正式Asp。计算。 20,编号4-5,351-377(2008). 引用于11文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 2010年第68季度 计算模式(非确定性、并行、交互式、概率性等) 2012年第68季度 语法和重写系统 68问题55 计算理论中的语义学 60年第68季度 规范和验证(程序逻辑、模型检查等) 92立方37 细胞生物学 关键词:循环序列演算;Brane Calculi公司;标记语义;相互模拟;生物信息学 PDF格式BibTeX公司 XML格式引用 \textit{R.Barbuti}等人,《形式语法》。计算。20,编号4--5,351--377(2008;Zbl 1152.68035) 全文: 内政部 参考文献: [1] Alur R,Belta C,Ivancic F,Kumar V,Mintz M,Pappas GJ,Rubin H,Schug J(2001)生物分子网络的混合建模和模拟。In:《混合系统学报:计算与控制》,LNCS 2034。海德堡施普林格,第19-32页 [2] Antoniotti M、Mishra Piazza C、Policriti A、Simeoni M(2004)《通过相互模拟和崩溃控制生化模型的复杂性:理论与实践》。Theor Compute Sci计算机科学325:46–67·Zbl 1070.68059号 ·doi:10.1016/j.tcs.2004.03.064 [3] Barbuti R、Maggiolo-Schettini A、Milazzo P、Troina A(2006)《模拟微生物系统的循环序列演算》。Fundam信息72:1–15·Zbl 1101.92021号 [4] Barbuti R,Maggiolo-Schettini A,Milazzo P,Troina A(2006),循环序列演算中的互模拟同余。摘自:《理论计算机科学国际学术讨论会论文集》(ICTAC’06),LNCS 4281。海德堡施普林格,第93–107页·Zbl 1168.68435号 [5] Busi N(2006)《Brane Calculi中的决定行为特性》。摘自:《系统生物学计算方法学报》(CMSB'06),LNBI 4210。施普林格,海德堡,第17-31页 [6] Busi N(2007)《走向Brane Calculi的因果语义》。摘自:第五届膜计算头脑风暴周会议记录,第97–111页 [7] Cardelli L(2005)《Brane Calculi》。生物膜的相互作用。摘自:《系统生物学计算方法学报》(CMSB'04),LNCS 3082。海德堡施普林格,第257-280页·Zbl 1088.68657号 [8] Chabrier-Rivier N,Chiaverini M,Danos V,Fages F,Schachter V(2004)生物分子相互作用网络建模与查询。Theor Compute Sci计算机科学325:25-44·Zbl 1071.68098号 ·doi:10.1016/j.tcs.2004.03.063 [9] Curti M、Degano P、Priami C、Baldari CT(2004)通过增强像素模拟生化途径。计算机科学理论325:111–140·Zbl 1071.68074号 ·doi:10.1016/j.tcs.2004.03.066 [10] Danos V,Laneve C(2004)《形式分子生物学》。计算机科学理论325:69–110·Zbl 1071.68041号·doi:10.1016/j.tcs.2004.03.065 [11] De Nicola R,Hennessy M(1984)《工艺等效性测试》。Theor计算机科学34:83–133·Zbl 0985.68518号 ·doi:10.1016/0304-3975(84)90113-0 [12] Laneve C,Tarissan F(2006)蛋白质和细胞的简单演算。In:膜计算和生物启发过程计算学报(MeCBIC’06) [13] Leifer J,Milner R(2000),《推导反应系统的互模拟同余》。收录于:并发理论学报(CONCUR'00),LNCS 1877。海德堡施普林格,第243-258页·Zbl 0999.68141号 [14] Matsuno H,Doi A,Nagasaki M,Miyano S(2000)基因调控网络的混合petri网表示。摘自:生物计算太平洋研讨会论文集。世界科学出版社,第341-352页 [15] Miculan M,Bacci G(2006),膜微积分的模态逻辑。摘自:《系统生物学计算方法学报》(CMSB'06),LNBI 4210。海德堡施普林格,第1-16页 [16] Milazzo P(2007)《生物系统的定性和定量形式化建模》,比萨大学博士论文 [17] Milner R(1989)通信与并发。普伦蒂斯·霍尔,恩格尔伍德悬崖·Zbl 0683.68008号 [18] Milner R(1999)《通信和移动系统:微积分》。剑桥大学出版社·Zbl 0942.68002号 [19] Milner R,Sangiorgi D(1992),刺状互模拟。摘自:《国际自动机、语言和编程学术研讨会论文集》(ICALP’92),LNCS 623,第685-695页 [20] Pinto MC、Foss F、Mombach JCM、Ribeiro L(2007),乳糖操纵子调控的建模、性质验证和行为等效。计算生物医学37:134–148·doi:10.1016/j.compbiomed.2006.01.006 [21] Priami C,Quaglia P(2005),生物相互作用的β结合物。摘自:《系统生物学计算方法学报》(CMSB'04),LNCS 3082。海德堡施普林格,第20-33页·Zbl 1088.68646号 [22] Regev A、Panina EM、Silverman W、Cardelli L、Shapiro E(2004)《生物环境:生物隔室的抽象》。Theor Compute Sci计算机科学325:141–167·Zbl 1069.68569号 ·doi:10.1016/j.tcs.2004.03.61文件 [23] Regev A,Silverman W,Shapiro EY(2001)使用pi-calculus过程代数表示和模拟生化过程。摘自:太平洋生物计算研讨会论文集。世界科学出版社,第459–470页 [24] Sangiorgi D(1996)高阶过程计算的相互模拟。Inf计算131:141–178·兹伯利0876.68042 ·doi:10.1006/inco.1996.0096 [25] Sewell P(2002)《从重写规则到互模拟同余》。计算机科学理论274:183–230·Zbl 0992.68122号 ·doi:10.1016/S0304-3975(00)00309-1 [26] Straight SW,Hinkle PM,Jewers RJ,McCance DJ(1993)人乳头瘤病毒16型E5癌蛋白转化成纤维细胞并影响角质形成细胞中表皮生长因子受体的下调。维罗尔杂志67:4521–4532 [27] Yarden Y(2001)EGFR家族及其配体在人类癌症中的作用:信号机制和治疗机会。欧洲癌症杂志37:S3–S8·doi:10.1016/S0959-8049(01)00230-1 [28] Yarden Y,Sliwkowski MK(2001)《解开ErbB信令网络》,《Nat Rev Mol Cell Biol》2:127–137·数字对象标识代码:10.1038/35052073 [29] van Glabbeek RJ(1990)线性时间分支时间谱。In:并发理论国际会议论文集(CONCUR’90),LNCS 458,pp 278–297 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。