Some Notes on (Mem)Brane Computation

Membrane Computing and Brane Calculi are two recent computational paradigms in the framework of Natural Computing. They are based on the study of the structure and functioning of living cells as living organisms able to process and generate information. In this paper we give a short introduction to both areas and point out some open research lines.Ministerio de Educación y Ciencia TIN2005-09345-C04-01Junta de Andalucía TIC-58

Deciding Behavioural Properties in Brane Calculi.

Brane calculi are a family of biologically inspired process calculi proposed in [5] for modeling the interactions of dynamically nested membranes and small molecules. Building on the decidability of divergence for the fragment with mate, bud and drip operations in [1], in this paper we extend the decidability results to a broader class of properties and to larger set of interaction primitives. More precisely, we provide the decidability of divergence, control state maintainabiliy, inevitability and boundedness properties for the calculus with molecules and without the phago operation