Brane Calculi

Interactions of Biological Membranes
  • Luca Cardelli
Conference paper

DOI: 10.1007/978-3-540-25974-9_24

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3082)
Cite this paper as:
Cardelli L. (2005) Brane Calculi. In: Danos V., Schachter V. (eds) Computational Methods in Systems Biology. CMSB 2004. Lecture Notes in Computer Science, vol 3082. Springer, Berlin, Heidelberg


We introduce a family of process calculi with dynamic nested membranes. In contrast to related calculi, including some developed for biological applications, active entities here are tightly coupled to membranes, and can perform interactions on both sides of a membrane. That is, computation happens on the membrane, not inside of it.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Luca Cardelli
    • 1
  1. 1.Microsoft ResearchUK

Personalised recommendations