We improve the precision of a previous Control Flow Analysis for Brane
Calculi, by adding information on the context and introducing causality
information on the membranes. This allows us to prove some biological
properties on the behaviour of systems specified in Brane Calculi.Comment: Presented at MeCBIC 201

Bodei, Chiara

Brodo, Linda

English

arXiv

We improve the precision of a previous Control Flow Analysis for Brane Calculi, by adding information on the context and introducing causality information on the membranes. This allows us to prove some biological properties on the behaviour of systems specified in Brane Calculi

Brane Calculi Systems: A Static Preview of their Possible Behaviour

Abstract

Similar works

Full text

Available Versions

Archivio della Ricerca - Università di Pisa