Brane Calculus - Xholon App

What is it

This is a model of a Brane Calculus system.

How to use it

Run it:

  1. Run the Java application through the XhnMemComp GUI (, and select File --> Open --> memcomp --> BraneCalc1 --> BraneCalc1_xhn.
  2. Expand the Controller node in the tree.
  3. Press the Start node.
  4. You should see ...

Things to notice

Things to try

Extending the model

Xholon and Ealontro features

Credits and references

Cardelli, L. (2004). Brane Calculi - Interactions of Biological Membranes. LNCS.

Cardelli, L. and Paun, Gh. (2005). A universality result for a (mem)brane calculus based on mate/drip operations. International Journal of Foundations of Computer Science, 17(1), pp 49-68. World Scientific Publishing Company.