A process algebra framework for multi-scale modelling of biological systems
A process algebra framework for multi-scale modelling of biological systems
复制标题
用于生物系统多尺度建模的过程代数框架
DOI：
10.1016/j.tcs.2013.03.018
复制
发表时间：
2013
影响因子：
1.1
通讯作者：
Degasperi A
中科院分区：
文献类型：
--
作者：
Degasperi A
We introduce a novel process algebra for modelling biological systems at multiple scales, called process algebra with hooks (PAH). Processes represent biological entities, such as molecules, cells and tissues, while two algebraic operators, both symmetric, define composition of processes within and between scales. Composed actions allow for biological events to interact within and between scales at the same time. The algebra has a stochastic semantics based on functional rates of reactions. Two bisimulations are defined on PAH processes. The first bisimulation is used to aid model development by checking that two biological scales can interact correctly. The second bisimulation is a congruence that relates models, or part of models, that can perform the same timed events at a specified scale. Finally, we provide a PAH model of pattern formation in a tissue and illustrate reasoning about its behaviour using the PAH framework.
登录
查看更多内容
DOI：
10.1142/9789814447362_0045
发表时间：
2000-12
影响因子：
--
作者：
A. Regev;William Silverman;E. Shapiro
通讯作者：
A. Regev;William Silverman;E. Shapiro
影响因子：
5.8
作者：
Hucka, M;Finney, A;Wang, J
通讯作者：
Wang, J
随机 p 微积分框架中基因调控网络的精细化动力学
DOI：
10.1007/978-3-642-19748-2_8
发表时间：
2011
期刊：
Trans. Comp. Sys. Biology
影响因子：
--
作者：
Loïc Paulevé;Morgan Magnin;O. Roux
通讯作者：
O. Roux
带有模式形成模型钩子的过程代数
DOI：
10.1016/j.entcs.2010.12.004
发表时间：
2010
期刊：
Trans. Comp. Sys. Biology
影响因子：
--
作者：
A. Degasperi;Muffy Calder
通讯作者：
Muffy Calder
使用过程代数对生物系统进行多尺度建模的基础知识
影响因子：
1.1
作者：
R. Barbuti;G. Caravagna;A. Maggiolo;P. Milazzo;S. Tini
通讯作者：
S. Tini