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].
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
Titolo: | A global occurrence counting analysis for Brane Calculi | |
Autori: | ||
Data di pubblicazione: | 2015 | |
Citazione: | 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]. | |
Handle: | http://hdl.handle.net/11388/173742 | |
ISBN: | 9783319274355 9783319274355 | |
Appare nelle tipologie: | 4.1 Contributo in Atti di convegno |