×
博迪，恰拉;罗伯塔·戈里;弗朗西丝卡·列维

膜相互作用因果性质的分析。 （英语） Zbl 1337.68100号

Merelli，Emanuela（编辑）等人，《第四届计算机科学与生物学相互作用国际研讨会论文集》（CS2Bio'13），意大利佛罗伦萨，2013年6月6日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》299，15-31（2013）。
摘要：我们在这里根据抽象解释进行分析[P.库索特和R.库索特，“抽象解释：通过构造或近似不动点对程序进行静态分析的统一格模型”，载于：第四届ACM SIGACT-SIGPLAN编程语言原理研讨会论文集，POPL’77。纽约州纽约市：ACM出版社。238–252 (1977;doi:10.1145/512950.512973)]，通过定义中提出的因果语义的有限可计算近似[N.Busi公司，“走向膜计算的因果语义”，载于：《膜计算第五次头脑风暴周会议记录》，BWMC 2007年。塞维利亚：法国编辑。97–111（2007），http://www.gcn.us.es/5BWMC/volume/nadia.pdf]用于mate/bud/drop（MBD）膜演算[L.Cardelli（卡德利），莱克特。注释计算。科学。3082, 257–278 (2005;Zbl 1088.68657号)]. [Busi，loc.cit.]中的因果语义能够处理不同类型的因果依赖：结构、同步和所谓的环境因果关系。我们的分析是对这种因果语义的安全（过度）近似，除了对系统的所有可能进化进行建模之外，还可以用于正式证明膜相互作用之间的因果属性。
关于整个系列，请参见[Zbl 1310.68018号]。

引用于10文件

理学硕士：

2005年第68季度 计算模型（图灵机等）（MSC2010）
68问题55 计算理论中的语义学
92立方37 细胞生物学
92立方厘米 系统生物学、网络

关键词：

膜微积分;抽象解释;系统生物学

引文：

Zbl 1088.68657号
PDF格式BibTeX公司 XML格式引用
\textit{C.Bodei}等人，《电子》。注释Theor。计算。科学。299、15--31（2013年；Zbl 1337.68100）
全文： 内政部

参考文献：

[1] Barbuti，R。；Caravagna，G。；Maggiolo-Schettini，A。；Milazzo，P。；Pardini，G.，《循环序列的演算》（SFM Proc.），08。程序。SFM’08，LNCS，第5016卷（2008），Springer），387-423
[2] Bodei，C.，《带和不带静态隔间的Beta粘合剂的控制流分析》，理论计算机科学，410，33-34，3110-3127（2009），爱思唯尔出版社·Zbl 1173.68039号
[3] 博迪，C。；Brodo，L.，Brane Calculi Systems:A Static Preview of their Possible Behaviour，（《膜计算和生物启发过程演算程序》（MeCBIC？11）（2011）），CoRR
[4] Busi，N.，《走向Brane Calculi的因果语义》（《美国人讨厌的政府是什么》，2007年），大学出版社，1945-1965年
[5] 北布西。；Zandron，C.，《利用膜计算和系统对生物过程进行建模和分析》，（冬季模拟会议纪要（WSC’06）（2006）），1646-1655
[6] Cardelli，L.，Brane calculi-生物膜的相互作用，（《系统生物学计算方法学报》（CMSB’04）。程序。《系统生物学计算方法》（CMSB’04），LNCS，第3082卷（2005），257-280·Zbl 1088.68657号
[7] 库索特，P。；库索特，R.，《抽象解释：通过构造或逼近不动点对程序进行静态分析的统一格模型》，（第四届美国计算机学会程序设计语言原理研讨会（POPL77）（1977）），238-252
[8] Degano，P。；Priami，C.，移动进程的非交错语义，理论计算机科学，216，1-2237-270（1999）·Zbl 0914.68128号
[9] Danos，V。；Laneve，C.，《核心分子生物学图》，（《系统生物学计算方法学报》（CMSB’03）。程序。《系统生物学计算方法》（CMSB’03），LNCS，第2602卷（2003），Springer，34-46·Zbl 1053.92021号
[10] 戈里，R。；Levi，F.，《生物环境的新发生计数分析》，（亚洲编程语言和系统研讨会论文集（APLAS  05）。程序。亚洲编程语言与系统研讨会（APLAS？05），LNCS，第3780卷（2005）），381-400·Zbl 1159.68368号
[11] 戈里，R。；Levi，F.，《证明生物系统时间特性的分析》，（亚洲编程语言与系统研讨会论文集（APLAS’06）。程序。亚洲编程语言与系统研讨会（APLAS？06），LNCS，第4279卷（2006）），234-252·Zbl 1168.68438号
[12] 戈里，R。；Levi，F.，《基于抽象解释的生物环境、信息和计算时间特性验证》，8869-921（2010）·Zbl 1205.68244号
[13] Guerriero，M.L。；Prandi，D。；Priami，C。；Quaglia，P.，《生物过程微积分抽象》（Algorithmic Bioprocess Natural Computing Series（2009），Springer），463-486
[14] Guerriero，M.L。；Priami，C.，《Beta-binders中的因果关系和并发性》（TR-01-2006微软研究（2006），特伦托大学计算与系统生物学中心）
[15] Laneve，C。；Tarissan，F.，《蛋白质和细胞的简单微积分》，Proc。BioConcur’03。程序。BioConcur’03，ENTCS，171，2，139-154（2007）·Zbl 1277.68195号
[16] 尼尔森，H.R。；尼尔森，F。；Pilegaard，H.，《生物环境的空间分析》，（《静态分析研讨会论文集》（SAS？04）。程序。《静态分析研讨会》（SAS04），LNCS，第3148卷（2004年），施普林格出版社，69-83·Zbl 1104.68420号
[17] 尼尔森，F。；Riis Nielson，H。；Priami，C。；Schuch da Rosa，D.，《生物环境控制流分析》，Proc。BioConcur’03。程序。BioConcur’03，ENTCS，180，3，65-79（2007），爱思唯尔
[18] Pilegaard，H。；尼尔森，F。；Riis Nielson，H.，《生物环境的上下文相关分析》（《抽象解释新兴方面的进展》，2006年）
[19] 皮勒加德，H。；尼尔森，F。；Riis Nielson，H.，《生物环境的路径分析》，《逻辑与代数编程杂志》，77，1-2，92-130（2008）·Zbl 1147.92002号
[20] Priami，C。；Quaglia，P.，生物相互作用的β结合物，（《系统生物学计算方法学报》（CMSB’04）。程序。《系统生物学计算方法》（CMSB’04），LNCS，第3082卷（2005），Springer，20-33·Zbl 1088.68646号
[21] 雷格夫，A。；Panina，E.M。；西尔弗曼。；Cardelli，L。；BioAmbients，E.Y.Shapiro，生物隔室的抽象，理论计算机科学，325，1，141-167（2004），爱思唯尔·兹比尔1069.68569
[22] Vitale，A。；Mauri，G.，《通过Brane Calculi中的移动囊泡进行通信》，ENTCS，171，2，187-196（2007），Elsevier·Zbl 1277.68212号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。