Biomolecular agents as multi-behavioural concurrent objects

Electronic Notes in Theoretical Computer Science

Volumn 150, Issue 1, 2006, Pages 31-49

  Duchier, Denys ^a   Kuttler, Céline ^a  

^a CNRS   (France)

Author keywords

Biological systems; Communicating agents; Programming; Simulation; Stochastic pi calculus; Systems biology

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING; COMPUTER SIMULATION; CONCURRENT ENGINEERING; MATHEMATICAL MODELS;

BIOLOGICAL SYSTEMS; COMMUNICATING AGENTS; STOCHASTIC PI-CALCULUS; SYSTEMS BIOLOGY;

MOLECULAR BIOLOGY;

EID: 33644560653     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.12.022     Document Type: Conference Paper

References (22)

1. Naama Barkai, and Stanislas Leibler Biological rhythms: Circadian clocks limited by noise Nature 403 2000 267 268
2. Luca Cardelli Brane calculi: interactions of biological membranes Proceedings of CMSB 2004 Lecture Notes in Bioinformatics volume 3082 2005 257 278
3. Bor-Yuh Evan Chang PML: Toward a high-level formal language for biological systems Workshop on Concurrent Models in Molecular Biology ENTCS 2003 Elsevier
4. Dave Clarke, David Costa, and Farhad Arbab. Modelling coordination in biological systems. In 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA), 2004
5. Vincent Danos, and Cosimo Laneve Formal molecular biology Theoretical Computer Science 325 1 2004 69 110
6. B. Alberts Molecular Biology of the Cell 2002 Garland Science
7. T. Ideker, T. Galitski, and L. Hood A New Approach to Decoding Life: Systems Biology Annual Review of Genomics and Human Genetics 2 343 2001
8. Céline Kuttler, and Joachim Niehren Gene regulation in the pi calculus: simulating cooperativity at the lambda switch 2nd International Workshop on Concurrent Models in Molecular Biology Electronic Notes in Theoretical Computer Science 2004 Elsevier. An extended version is under review for journal publication
9. Patricia L. Lakin-Thomas, and Stuart Brody Circadian rrythms in microorganisms: New complexities Annu. Rev. Microbiol. 58 2004 489 519
10. P. Lecca, and C. Priami Cell cycle control in eukaryotes: a BioSPI model Workshop on Concurrent Models in Molecular Biology ENTCS 2003 Elsevier. BioConcur workshop proceeding
11. Paola Lecca, Corrado Priami, Paola Quaglia, B. Rossi, C. Laudanna, and G. Constantin A stochastic process algebra approach to simulation of autoreactive lymphocyte recruitment SCS Simulation 80 6 June 2004 273 288
12. Thomas W. Malone, and Kevin Crowston The interdisciplinary study of coordination ACM Comput. Surv. 26 1 1994 7 119
13. Robin Milner Communicating and Mobile Systems: the π-calculus 1999 Cambridge University Press
14. Andrew Phillips and Luca Cardelli. A correct abstract machine for the stochastic pi-calculus. Transactions on Computational Systems Biology, 2005. to appear
15. Corrado Priami Stochastic π-calculus Computer Journal 6 1995 578 589
16. Corrado Priami, and Paola Quaglia Beta binders for biological interactions Proceedings of CMSB 2004 Lecture Notes in Bioinformatics volume 3082 2005 20 33
17. Corrado Priami, Aviv Regev, Ehud Shapiro, and William Silverman Application of a stochastic name-passing calculus to representation and simulation of molecular processes Information Processing Letters 80 2001 25 31
18. Aviv Regev. Computational Systems Biology: A Calculus for Biomolecular Knowledge. Tel Aviv University, 2003. PhD thesis
19. Aviv Regev, E.M. Panina, William Silverman, Luca Cardelli, and Ehud Shapiro BioAmbients: An abstraction for biological compartments Theoretical Computer Science 325 1 2004 141 167
20. Aviv Regev, and Ehud Shapiro Cells as computation Nature 419 2002 343
21. Aviv Regev, and Ehud Shapiro The π-calculus as an abstraction for biomolecular systems Gabriel Ciobanu Grzegorz Rozenberg Modelling in Molecular Biology 2004 Springer
22. O. Wolkenhauer, B. Ghosh, and K.H. Cho Control and coordination in biochemical networks (editorial notes) IEEE CSM Special Issue on Systems Biology 24 4 2004 30 34