Skip header navigation

University of Stirling

×

Conference Paper

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

StatusPublished
Author(s)Bodei, Chiara; Bracciali, Andrea; Chiarugi, Davide
Publication date04/01/2009
Publication date online30/09/2008
Related URLshttps://profs.info.uaic.ro/~mecbic/index.html
ISSN1571-0661
ConferenceSecond International Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2008)
Conference locationIasi, Romania
Dates
Scroll back to the top