In this paper we propose a static analysis for Brane Calculi , based on Abstract Interpretation techniques. Our analysis statically approximates the dynamic behaviour of Brane systems, by providing 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 computed in polynomial time. We apply it to investigate several biological systems in which occurrence counting information plays a crucial role. In particular, our case study concerns the formation of the haemoglobin polymer in presence of alterations and investigate the influence that such alterations have on the ability of the haemoglobin polymer to bind oxygen molecules.

A static analysis for Brane Calculi providing global occurrence counting information / Bodei, C.; Brodo, Linda; Gori, R; Levi, F.; Bernini, A.; Hermith, D.. - In: THEORETICAL COMPUTER SCIENCE. - ISSN 0304-3975. - (2017). [10.1016/j.tcs.2017.07.008]

A static analysis for Brane Calculi providing global occurrence counting information

BRODO, Linda;
2017

Abstract

In this paper we propose a static analysis for Brane Calculi , based on Abstract Interpretation techniques. Our analysis statically approximates the dynamic behaviour of Brane systems, by providing 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 computed in polynomial time. We apply it to investigate several biological systems in which occurrence counting information plays a crucial role. In particular, our case study concerns the formation of the haemoglobin polymer in presence of alterations and investigate the influence that such alterations have on the ability of the haemoglobin polymer to bind oxygen molecules.
A static analysis for Brane Calculi providing global occurrence counting information / Bodei, C.; Brodo, Linda; Gori, R; Levi, F.; Bernini, A.; Hermith, D.. - In: THEORETICAL COMPUTER SCIENCE. - ISSN 0304-3975. - (2017). [10.1016/j.tcs.2017.07.008]
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/181726
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? 7
social impact