CoBiC: Context-dependent Bioambient Calculus
Posted by luca | On Friday, 9 August 2013
Title | CoBiC: Context-dependent Bioambient Calculus |
Publication Type | Conference Paper |
Year of Publication | 2009 |
Authors | Bortolussi L, Vigliotti MG |
Editor | Di Pierro A, Baier C |
Conference Name | QAPL 2009 |
Volume | 253 |
Pages | 187–201 |
Date Published | March |
Publisher | Elsevier Science Publisher |
Keywords | Functional rates, Markov Processes, Stochastic process algebras, Systems Biology |
Abstract | 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. |
URL | http://www.sciencedirect.com/science/article/pii/S1571066109004320 |
DOI | 10.1016/j.entcs.2009.10.012 |
File: