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