Control Flow Analysis for Brane Calculi

Citation

Bodei C, Bracciali A & Chiarugi D (2009) Control Flow Analysis for Brane Calculi. Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2008), Iasi, Romania, 03.09.2008-04.09.2008. Electronic Notes in Theoretical Computer Science, 227, 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