An Analysis for Causal Properties of Membrane Interactions
Chiara Bodei, Roberta Gori, Francesca Levi · Electronic Notes in Theoretical Computer Science · 2013
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.