CINECA IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishWe 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 |
File in questo prodotto:
http://hdl.handle.net/11388/173742
Copyright © 2022