BioAmbients: An abstraction for biological compartments

Theoretical Computer Science

Volumn 325, Issue 1, 2004, Pages 141-167

  Regev, Aviv ^a   Panina, Ekaterina M ^b   Silverman, William ^c   Cardelli, Luca ^d   Shapiro, Ehud ^c  

^a HARVARD UNIVERSITY   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c WEIZMANN INSTITUTE OF SCIENCE   (Israel)

^d MICROSOFT RESEARCH   (United Kingdom)

Author keywords

Calculus; Ambient calculus; BioAmbients; Biology; Modeling; Simulation

Indexed keywords

Π-CALCULUS; AMBIENT CALCULUS; BIOAMBIENTS; BIOMOLECULAR ASPECTS;

ALGEBRA; COMPUTER SCIENCE; COMPUTER SIMULATION; DATABASE SYSTEMS; GENES; PETRI NETS; PROTEINS; SEMANTICS;

MOLECULAR BIOLOGY;

EID: 4444383325     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2004.03.061     Document Type: Conference Paper

References (23)

1. Ashburner M., Ball C.A., Blake J.A., Botstein D., Butler H., Cherry J.M., Davis A.P., Dolinski K., Dwight S.S., Eppig J.T., Harris M.A., Hill D.P., Issel-Tarver L., Kasarskis A., Lewis S., Matese J.C., Richardson J.E., Ringwald M., Rubin G.M., Sherlock G. Gene ontology. tool for the unification of biology. The gene ontology consortium Natur. Genetics. 25(1):2000;25-29.
2. Bader G.D., Donaldson I., Wolting C., Ouellette B.F., Pawson T., Hogue C.W. Bind-the biomolecular interaction network database. Nucleic Acids Res. 29(1):2001;242-245.
3. L. Cardelli, Bioware languages, in: A. Herbert, K. Spärck Jones (Eds.), Computer Systems: Theory, Technology, and Applications - A Tribute to Rodger Needham, Springer, 2003.
4. L. Cardelli, A.D. Gordon, Mobile ambients, in: Foundations of Software Science and Computation Structures: First Internat. Conf., FOSSACS '98, Springer, Berlin, 1998.
5. Danos V., Laneve C. Graphs for core molecular biology. Priami C. Proceedings of the First Internat. Workshop on Computational Methods in Systems Biology. Lecture Notes in Computer Science. Vol. 2602:2003;34-46 Springer, Berlin.
6. Gillespie D.T. Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81(25):1977;2340-2361.
7. Goss P.J.E., Peccoud J. Quantitative modeling of stochastic systems in molecular biology by using stochastic petri nets. Proc. Nat. Acad. Sci. USA. 95(12):1998;6750-6755.
8. Haugh J.M., Lauffenburger D.A. Analysis of receptor internalization as a mechanism for modulating signal transduction. J. Theoret. Biol. 195(2):1998;187-218.
9. N. Kam, I.R. Cohen, D. Harel, The immune system as a reactive system: modeling T cell activation with statecharts, Bull. Math. Biol., 2002, to appear (an extended abstract of this paper appeared in the Proceeding of the Symposia on Human-Centric Computing Languages and Environments, Stresa, Italy, September 2001, pp. 15-22).
10. Levchenko A., Bruck J., Sternberg P.W. Scaffold proteins may biphasically affect the levels of mitogen-activated protein kinase signaling and reduce its threshold properties. Proc. Nat. Acad. Sci. USA. 97:2000;5818-5823.
11. Lodish H., Berk A., Zipursky S.L., Matsudaira P., Baltimore D., Darnell J.E. Molecular Cell Biology. 4th Edition:2000;W.H. Freeman, New York.
12. Matsuno H., Murakani R., Yamane R., Yamasaki N., Fujita S., Yoshimori H., Miyano S. Boundary formation by notch signaling in Drosophila multicellular systems: experimental observations and gene network modeling by genomic object net. Altman R.B., Dunker A.K., Hunter L., Klein T.E. Pacific Symp. on Biocomputing. 2003;152-163 World Scientific Press, Singapore.
13. Milner R. Communicating and Mobile Systems: the. π -Calculus:1999;Cambridge University Press, Cambridge.
14. R. Milner, Bigraphical reactive systems, in: Proc. of the 12th Internat. Conf. on Concurrency Theory (CONCUR 2001), Lecture Notes in Computer Science, Vol. 2154, Springer, Berlin, 2001, pp. 16-35.
15. M. Nagasaki, S. Onami, S. Miyano, H. Kitano, Bio-calculus: its concept and molecular interaction, in: Genome Informatics, Vol. 10, Universal Academy Press, Tokyo, 1999, pp. 133-143.
16. Paun G. Membrane Computing: An Introduction. 2002;Springer, Berlin.
17. Priami C., Regev A., Shapiro E., Silverman W. Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Inform. Process. Lett. 80:2001;25-31.
18. A. Regev, The full code for this model is available from ftp://www.cgr.harvard.edu/public/ambients.
19. A. Regev, W. Silverman, E. Shapiro, Representation and simulation of biochemical processes using the pi-calculus process algebra, in: R.B. Altman, A.K. Dunker, L. Hunter, T.E. Klein (Eds.), Pacific Symp. on Biocomputing, Vol. 6, World Scientific Press, Singapore, 2001, pp. 459-470.
20. Schwartz M.W., Woods S.C., Porte D., Seeley R.J., Baskin D.G. Central nervous system control of food intake. Nature. 404:2000;661-671.
21. E. Shapiro, Concurrent prolog: a progress report, in: E. Shapiro (Ed.), Concurrent Prolog, Vol. I, MIT Press, Cambridge, MA, 1987, pp. 157-187.
22. W. Silverman, M. Hirsch, A. Houri, E. Shapiro, The Logix system user manual, version 1.21, in: E. Shapiro (Ed.), Concurrent Prolog, Vol. II, MIT Press, Cambridge, MA, 1987, pp. 46-78.
23. Wingender E., Chen X., Fricke E., Geffers R., Hehl R., Liebich I., Krull M., Matys V., Michael H., Ohnhauser R., Pruss M., Schacherer F., Thiele S., Urbach S. The transfac system on gene expression regulation. Nucleic Acids Res. 29(1):2001;281-283.