Conference Paper (published)
Details
Citation
Bodei C, Bracciali A & Chiarugi D (2009) Control Flow Analysis for Brane Calculi. In: volume 227. Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2008), Iasi, Romania, 03.09.2008-04.09.2008. Elsevier, pp. 59-75. https://doi.org/10.1016/j.entcs.2008.12.104
Abstract
We introduce a Control Flow Analysis for Brane Calculi. This verification technique allows properties regarding the behaviour of biological systems to be checked. This is an approximate technique that focusses on the static specification of a system, rather than on its dynamics, striving for effectiveness. Examples illustrate the approach.
Keywords
Brane calculi; control flow analysis; systems biology
Journal
Electronic Notes in Theoretical Computer Science: Volume 227
| Status | Published |
|---|---|
| Publication date | 04/01/2009 |
| Publication date online | 30/09/2008 |
| Related URLs | https://profs.info.uaic.ro/~mecbic/index.html |
| ISSN | 1571-0661 |
| Conference | Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2008) |
| Conference location | Iasi, Romania |
| Dates | – |