Towards a Causal Semantics for Brane Calculi


Brane Calculi are a family of biologically inspired process calculi, proposed in [6] to model the interactions of dynamically nested membranes. We propose a semantics that describes the causal dependencies occurring between the reactions of a system described in Brane Calculi. We investigate the basic properties that are satisfied by such a semantics. The… (More)


Cite this paper

@inproceedings{Busi2007TowardsAC, title={Towards a Causal Semantics for Brane Calculi}, author={Nadia Busi}, year={2007} }