We propose a polynomial static analysis for Brane Calculi [6], based on Abstract Interpretation [8] techniques. The analysis provides a description of the possible hierarchical structure of membranes and of the processes possibly associated to each membrane, together with global occurrence counting information. Our analysis can be applied in the biological setting to investigate systems in which the information on the number of membranes occurring in the system plays a crucial role.
A global occurrence counting analysis for Brane Calculi / Bodei, Chiara; Brodo, Linda; Gori, Roberta; Hermith, Diana; Levi, Francesca. - 9527:(2015), pp. 179-200. (Intervento presentato al convegno 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015 tenutosi a ita nel 2015) [10.1007/978-3-319-27436-2_11].
A global occurrence counting analysis for Brane Calculi
BRODO, Linda;
2015-01-01
Abstract
We propose a polynomial static analysis for Brane Calculi [6], based on Abstract Interpretation [8] techniques. The analysis provides a description of the possible hierarchical structure of membranes and of the processes possibly associated to each membrane, together with global occurrence counting information. Our analysis can be applied in the biological setting to investigate systems in which the information on the number of membranes occurring in the system plays a crucial role.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
