We propose a polynomial static analysis for Brane Calculi, based on Abstract Interpretation 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;GORI, ROBERTA;LEVI, FRANCESCA
2015-01-01
Abstract
We propose a polynomial static analysis for Brane Calculi, based on Abstract Interpretation 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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
LOPSTR2015.pdf
accesso aperto
Descrizione: Articolo principale
Tipologia:
Documento in Post-print
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
562.88 kB
Formato
Adobe PDF
|
562.88 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
