zbMATH — the first resource for mathematics

Brane calculi. Interactions of biological membranes. (English) Zbl 1088.68657
Danos, Vincent (ed.) et al., Computational methods in systems biology. International conference CMBS 2004, Paris, France, May 26–28, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-25375-0/pbk). Lecture Notes in Computer Science 3082. Lecture Notes in Bioinformatics, 257-278 (2005).
Summary: 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.
For the entire collection see [Zbl 1059.68002].

68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
92C40 Biochemistry, molecular biology
Full Text: DOI
[1] Alberts, B., Bray, D., Lewis, J., Raff, M., Roberts, K., Watson, J.D. Molecular. Biology of the Cell., 3rd edn., Garland,
[2] Cardelli, L.: Bitonal Membrane Systems – Interactions of Biological Membranes (to appear) · Zbl 1151.68013
[3] Cardelli, L., Gordon, A.D.: Mobile Ambients. In: Le MĂ©tayer, D.: Theoretical Computer Science, vol. 240/1, pp. 177–213 (2000) (Special Issue on Coordination) · Zbl 0954.68108
[4] Danos, V., Chiaverini, M.: A Core Modeling Language for the Working Molecular Biologist (2002) · Zbl 1112.92313
[5] Danos, V., Laneve, C.: Formal Molecular Biology. Theoretical Computer Science (to appear) · Zbl 1071.68041
[6] Hartwell, L.H., Hopfield, J.J., Leibler, S., Murray, A.W.: From molecular to modular cell biology. Nature 402(Suppl. 6761), C47–C52 (1999)
[7] Kitano, H.: A graphical notation for biochemical networks. BIOSILICO 1, 169–176 (2003)
[8] Kohn, K.W.: Molecular Interaction Map of the Mammalian Cell Cycle Control and DNA Repair Systems. Molecular Biology of the Cell 10(8), 2703–2734 (1999)
[9] Lodish, H., Berk, A., Zipursky, S.L., Matsudaira, P., Baltimore, D., Darnell, J.: Molecular Cell Biology, 4th edn. Freeman, New York
[10] McAdams, H.H., Arkin, A.: It’s a noisy business! Genetic regulation at the nanomolar scale. Trends Genet 15(2), 65–69 (1999)
[11] Milner, R.: Communicating and Mobile Systems: The {\(\pi\)}-Calculus. Cambridge University Press, Cambridge (1999) · Zbl 0942.68002
[12] Priami, C.: The Stochastic {\(\pi\)}-calculus. The Computer Journal 38, 578–589 (1995) · Zbl 05478217
[13] Priami, C., Regev, A., Shapiro, E., Silverman, W.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters 80, 25–31 (2001) · Zbl 0997.92018
[14] Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro., E.: BioAmbients: An Abstraction for Biological Compartments. Theoretical Computer Science (to appear) · Zbl 1069.68569
[15] Systems Biology Markup Language, http://www.sbml.org
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.