Abstract

Abstract. 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. 1

Citations

520	Communicating and Mobile Systems: the π-Calculus - Milner - 1999
155	Application of a Stochastic Name-Passing Calculus to Representation and - Priami, Regev, et al. - 2001
142	E: Bioambients: An abstraction for biological compartements - Regev, Panina, et al.
85	Molecular interaction map of the mammalian cell cycle control and DNA repair systems - Kohn - 1999
53	It’s a noisy business! Genetic regulation at the nanomolar scale - McAdams, Arkin - 1999
41	Stochastic pi-calculus - Priami - 1995
15	V.: A core modeling language for the working molecular biologist - Chiaverini, Danos - 2003
15	A graphical notation for biochemical networks - Kitano - 2003
8	Molecular cell biology. Fourth Edition - Lodish, Zipursky, et al. - 2002
6	M.Raff, K.Roberts, J.D.Watson. Molecular Biology of the Cell. Third Edition - Alberts, Lewis
2	Bitonal membrane systems: Interactions of biological membranes - Cardelli
2	S.Leibler , A.W.Murray. From molecular to modular cell biology. Nature - Hartwell - 1999