论文信息 - Brane Calculi

Brane Calculi

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.

Luca Cardelli | L. Cardelli

[1] Luca Cardelli,et al. Mobile Ambients , 1998, FoSSaCS.

[2] Corrado Priami,et al. Stochastic pi-Calculus , 1995, Comput. J..

[3] Hiroaki Kitano,et al. A graphical notation for biochemical networks , 2003 .

[4] Robin Milner,et al. Communicating and mobile systems - the Pi-calculus , 1999 .

[5] J. Hopfield,et al. From molecular to modular cell biology , 1999, Nature.

[6] Luca Cardelli,et al. BioAmbients: an abstraction for biological compartments , 2004, Theor. Comput. Sci..

[7] Corrado Priami,et al. Application of a stochastic name-passing calculus to representation and simulation of molecular processes , 2001, Inf. Process. Lett..

[8] K. Kohn. Molecular interaction map of the mammalian cell cycle control and DNA repair systems. , 1999, Molecular biology of the cell.

[9] A. Arkin,et al. It's a noisy business! Genetic regulation at the nanomolar scale. , 1999, Trends in genetics : TIG.

[10] Cosimo Laneve,et al. Formal molecular biology , 2004, Theor. Comput. Sci..