Control Flow Analysis for Brane Calculi

Authors:
Chiara Bodei;Andrea Bracciali;Davide Chiarugi
Affiliations:
Dipartimento di Informatica, Università di Pisa, Via Pontecorvo, 3 - 56127 Pisa - Italia;Dipartimento di Informatica, Università di Pisa, Via Pontecorvo, 3 - 56127 Pisa - Italia;Dipartimento di Scienze Matematiche e Informatiche, Università di Siena, Pian dei Mantellini, 4 - 53100 Siena - Italia
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2009

Citing 11
Cited 0

Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
Graphs for Core Molecular Biology

CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Static analysis for systems biology

WISICT '04 Proceedings of the winter international synposium on Information and communication technologies
Transactions in RCCS

CONCUR 2005 - Concurrency Theory
Communication via Mobile Vesicles in Brane Calculi

Electronic Notes in Theoretical Computer Science (ENTCS)
Control Flow Analysis for BioAmbients

Electronic Notes in Theoretical Computer Science (ENTCS)
A Control Flow Analysis for Beta-binders with and without static compartments

Theoretical Computer Science
The calculus of looping sequences

SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Beta binders for biological interactions

CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Brane calculi

CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
An analysis for proving temporal properties of biological systems

APLAS'06 Proceedings of the 4th Asian conference on Programming Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

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.