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-01-01
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.
