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.
2015
9783319274355
9783319274355
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].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11388/173742
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? 3
social impact