Brane calculi interactions of biological membranes

Lecture Notes in Bioinformatics (Subseries of Lecture Notes in Computer Science)

Volumn 3082, Issue , 2005, Pages 257-278

  Cardelli, Luca ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; LIVING SYSTEMS STUDIES;

BRANE CALCULI INTERACTIONS; DYNAMIC NESTED MEMBRANES;

BIOLOGICAL MEMBRANES;

BRANE CALCULI INTERACTIONS; DYNAMIC NESTED MEMBRANES; PROCESS CALCULI;

EID: 26444592298     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-25974-9_24     Document Type: Conference Paper

References (15)

1. B.Alberts, D.Bray, J.Lewis, M.Raff, K.Roberts, J.D.Watson. Molecular Biology of the Cell. Third Edition, Garland.
2. L.Cardelli. Bitonal Membrane Systems - Interactions of Biological Membranes. To appear.
3. L.Cardelli and A.D.Gordon. Mobile Ambients. Theoretical Computer Science, Special Issue on Coordination, D. Le Métayer Editor. Vol 240/1, June 2000. pp 177-213.
4. V.Danos, M.Chiaverini. A Core Modeling Language for the Working Molecular Biologist. 2002.
5. V.Danos and C.Laneve. Formal Molecular Biology. Theoretical Computer Science, to Appear.
6. L.H.Hartwell, J.J.Hopfield, S.Leibler, A.W.Murray: From molecular to modular cell biology. Nature. 1999 Dec 2;402(6761 Suppl):C47-52.
7. H. Kitano: A graphical notation for biochemical networks. BIOSILICO 1:169-176, 2003.
8. K.W. Kohn: Molecular Interaction Map of the Mammalian Cell Cycle Control and DNA Repair Systems. Molecular Biology of the Cell, 10(8).-2703-34, Aug 1999.
9. H.Lodish, A.Berk, S.L.Zipursky, P.Matsudaira, D.Baltimore, J.Darnell. Molecular Cell Biology. Fourth Edition, Freeman.
10. H.H.McAdams, A.Arkin: It's a noisy business! Genetic regulation at the nanomolar scale. Trends Genet. 1999 Feb;15(2):65-9.
11. R.Milner. Communicating and Mobile Systems: The π-Calculus. Cambridge University Press, 1999.
12. C.Priami. The Stochastic pi-calculus. The Computer Journal 38: 578-589, 1995.
13. C.Priami, A.Regev, E.Shapiro, and W.Silverman. Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters, 80:25-31, 2001.
14. Regev, E.M.Panina, W.Silverman, L.Cardelli, E.Shapiro. BioAmbients: An Abstraction for Biological Compartments. Theoretical Computer Science, to Appear.
15. Systems Biology Markup Language, 〈www.sbml.org〉