A generic abstract machine for stochastic process calculi

CMSB 2010 - Proceedings of the 8th International Conference on Computational Methods in Systems Biology

Volumn , Issue , 2010, Pages 43-54

  Paulevé, Loïc ^a   Youssef, Simon ^b   Lakin, Matthew R ^c   Phillips, Andrew ^c  

^a ECOLE CENTRALE DE NANTES   (France)

^b UNIVERSITY OF MUNICH   (Germany)

^c MICROSOFT RESEARCH   (United Kingdom)

Author keywords

Bioambient calculus; Generic abstract machine; Implementation; Non Markovian simulation; Stochastic pi calculus

Indexed keywords

ABSTRACT MACHINES; BIOAMBIENT CALCULUS; IMPLEMENTATION; NON-MARKOVIAN; STOCHASTIC PI-CALCULUS;

ABSTRACTING; ALGORITHMS; CHEMICAL REACTIONS; COMPUTATIONAL METHODS; HIGH LEVEL LANGUAGES; PATHOLOGY; RANDOM PROCESSES; STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

CALCULATIONS;

EID: 78649900998     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1839764.1839771     Document Type: Conference Paper

References (23)

1. D. Bratsun, D. Volfson, L. S. Tsimring, and J. Hasty. Delay-induced stochastic oscillations in gene regulation. Proceedings of the National Academy of Sciences of the United States of America, 102(41):14593-14598, 2005.
2. F. Ciocchetta and J. Hillston. Bio-PEPA: A framework for the modelling and analysis of biological systems. Theoretical Computer Science, 410(33-34):3065-3084, 2009.
3. V. Danos, J. Feret, W. Fontana, R. Harmer, and J. Krivine. CONCUR 2007 - Concurrency Theory, chapter Rule-Based Modelling of Cellular Signalling, pages 17-41. 2007.
4. L. Dematté, C. Priami, and A. Romanel. Modelling and simulation of biological processes in BlenX. SIGMETRICS Performance Evaluation Review, 35(4):32-39, 2008.
5. R. Ewald, J. Himmelspach, M. Jeschke, S. Leye, and A. M. Uhrmacher. Flexible experimentation in the modeling and simulation framework JAMES II implications for computational systems biology. Brief Bioinform, Jan 2010.
6. M. A. Gibson and J. Bruck. Efficient exact stochastic simulation of chemical systems with many species and many channels. The Journal of Physical Chemistry A, 104(9):1876-1889, 2000.
7. D. T. Gillespie. Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem., 81(25):2340-2361, 1977.
8. D. T. Gillespie. Approximate accelerated stochastic simulation of chemically reacting systems. J. Chem. Phys., 115:1716-1733, 2001.
9. P. Lecca and C. Priami. Cell cycle control in eukaryotes: a BioSPI model. In BioConcur'03. ENTCS, 2003
10. I. Mura, D. Prandi, C. Priami, and A. Romanel. Exploiting non-Markovian Bio-Processes. Electr. Notes Theor. Comput. Sci., 253(3):83-98, 2009.
11. M. Pedersen and G. Plotkin. A language for biochemical systems. In Computational Methods in Systems Biology, volume 5307 of LNCS, pages 63-82. Springer, 2008.
12. A. Phillips. An abstract machine for the stochastic bioambient calculus. Electronic Notes in Theoretical Computer Science, 227:143-159, January 2009.
13. A. Phillips and L. Cardelli. Efficient, correct simulation of biological processes in the stochastic pi-calculus. In Computational Methods in Systems Biology, volume 4695 of LNCS, pages 184-199. Springer, September 2007.
14. A. Phillips and L. Cardelli. A programming language for composable DNA circuits. Journal of the Royal Society Interface, 6(S4):419-436, August 2009.
15. A. Phillips, L. Cardelli, and G. Castagna. A graphical representation for biological processes in the stochastic pi-calculus. Transactions in Computational Systems Biology, 4230:123-152, November 2006.
16. D. Prandi, C. Priami, and A. Romanel. Simulation of Non-Markovian Processes in BlenX. Technical Report TR-11-2008, The Microsoft Research - University of Trento Centre for Computational and Systems Biology, 2008.
17. C. Priami. Stochastic π-calculus with general distributions. In Proc. of the 4th Workshop on Process Algebras and Performance Modelling, CLUT, pages 41-57, 1996.
18. 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.
19. A. Regev, E. M. Panina, W. Silverman, L. Cardelli, and E. Y. Shapiro. Bioambients: an abstraction for biological compartments. Theor. Comput. Sci., 325(1):141-167, 2004.
20. A. Regev, W. Silverman, and E. Shapiro. Representation and simulation of biochemical processes using the pi-calculus process algebra. In Pacific Symposium on Biocomputing, volume 6, pages 459-470, Singapore, 2001. World Scientific Press.
21. D. Sangiorgi and D. Walker. The π-calculus: a Theory of Mobile Processes. Cambridge University Press, 2001.
22. T. Tian and K. Burrage. Binomial leap methods for simulating stochastic chemical kinetics. J. Chem. Phys., 121:10356-10364, 2004.
23. C. M. Varga, K. Hong, and D. A. Lauffenburger. Quantitative analysis of synthetic gene delivery vector design properties. Mol Ther, 4(5):438-446, Nov 2001.