CoBiC: Context-dependent Bioambient Calculus
CoBiC: Context-dependent Bioambient Calculus
复制标题
CoBiC：上下文相关的生物环境微积分
DOI：
10.1016/j.entcs.2009.10.012
复制
发表时间：
2009
影响因子：
--
通讯作者：
Bortolussi L
中科院分区：
文献类型：
--
作者：
Bortolussi L
在渗透等生物现象中，水分子流入或流出生物区室的速率取决于溶质浓度和其他力，如静水压力。类似的例子是离子进出细胞膜的被动转运。在本文中，我们解决的问题，忠实地模拟这些现象与足够的过程演算。我们增强了环境演算随机语义与功能率，这是考虑到周围环境和周围环境的体积计算。植物细胞渗透模型将被用作一个例子，以显示我们的演算的新功能。
In biological phenomena like osmosis, the rate of flow of water molecules in or out of biological compartments depends on the solute concentration and on other forces, like hydrostatic pressure. A similar example is the passive transport of ions in and out the cell membrane. In this paper, we address the problem of faithfully modelling these kind of phenomena with an adequate process calculus. We enhance the ambient calculus stochastic semantics with functional rates, which are calculated by taking into account the volume of ambients and the surrounding environment. A model of osmosis in plant cells will be used as an example to show the new features of our calculus.
登录
查看更多内容
影响因子：
1.6
作者：
L. Bortolussi;A. Policriti
通讯作者：
A. Policriti
生物系统建模
DOI：
--
发表时间：
1996
期刊：
Springer US
影响因子：
--
作者：
J. Haefner
通讯作者：
J. Haefner
DOI：
--
发表时间：
2005
期刊：
International Conference on Concurrency Theory
影响因子：
--
作者：
L. Cardelli
通讯作者：
L. Cardelli
DOI：
10.1016/j.entcs.2007.12.008
发表时间：
2008-01-20
影响因子：
--
作者：
Ciocchetta, Federica;Hillston, Jane
通讯作者：
Hillston, Jane