We present here an analysis, based on Abstract Interpretation, obtained by defining a finite computable approximation of the causal semantics proposed by Busi for the Mate/Bud/Drip (MBD) Brane Calculus. This causal semantics in is able to address different kinds of causal dependencies: structural, synchronisation and the so-called environment causality. Our analysis, being a safe (over)-approximation of such causal semantics, besides modelling all possible evolutions of the system, can be used to formally prove causal properties among membrane interactions.

An Analysis for Causal Properties of Membrane Interactions

BODEI, CHIARA;GORI, ROBERTA;LEVI, FRANCESCA
2013

Abstract

We present here an analysis, based on Abstract Interpretation, obtained by defining a finite computable approximation of the causal semantics proposed by Busi for the Mate/Bud/Drip (MBD) Brane Calculus. This causal semantics in is able to address different kinds of causal dependencies: structural, synchronisation and the so-called environment causality. Our analysis, being a safe (over)-approximation of such causal semantics, besides modelling all possible evolutions of the system, can be used to formally prove causal properties among membrane interactions.
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: http://hdl.handle.net/11568/235927
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 15
  • ???jsp.display-item.citation.isi??? ND
social impact