Stochastic Concurrent Constraint Programming and Differential Equations

Electronic Notes in Theoretical Computer Science

Volumn 190, Issue 3, 2007, Pages 27-42

  Bortolussi, Luca ^a   Policriti, Alberto ^b  

^a UNIVERSITY OF TRIESTE   (Italy)

^b UNIVERSITY OF UDINE   (Italy)

Author keywords

biological systems; ordinary differential equations; Stochastic Concurrent Constraint Programming; stochastic modeling

Indexed keywords

CONSTRAINT THEORY; DIFFERENTIAL EQUATIONS; MATHEMATICAL MODELS; MATHEMATICAL PROGRAMMING; SEMANTICS; STOCHASTIC CONTROL SYSTEMS;

BIOCHEMICAL REACTIONS; STOCHASTIC CONCURRENT CONSTRAINT PROGRAMMING; STOCHASTIC MODELING;

BIOLOGICAL SYSTEMS;

EID: 34548268951     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.07.003     Document Type: Article

References (24)

1. Alur R., Courcoubetis C., Halbwachs N., Henzinger T.A., Ho P.-H., Nicollin X., Olivero A., Sifakis J., and Yovine S. The algorithmic analysis of hybrid systems. Theoretical Computer Science 138 1 (1995) 3-34
2. Bortolussi L. Stochastic concurrent constraint programming. Proceedings of 4th International Workshop on Quantitative Aspects of Programming Languages. QAPL 2006 (2006)
3. L. Bortolussi. Constraint-based approaches to stochastic dynamics of biological systems. PhD thesis, PhD in Computer Science, University of Udine, 2007. In preparation. Available on request from the author
4. Bortolussi L., and Policriti A. Modeling biological systems in concurrent constraint programming. Proceedings of Second International Workshop on Constraint-based Methods in Bioinformatics. WCB 2006 (2006)
5. L. Bortolussi and A. Policriti Relating stochastic process algebras and differential equations for biological modeling. Proceedings of PASTA 2006, 2006
6. In: Bower J.M., and Bolouri H. (Eds). Computational Modeling of Genetic and Biochemical Networks (2000), MIT Press, Cambridge
7. Calder M., Gilmore S., and Hillston J. Modelling the influence of rkip on the erk signalling pathway using the stochastic process algebra pepa. Transactions on Computational Systems Biology 4230 (2006) 1-23
8. L. Cardelli. From Processes to ODEs by Chemistry. Draft, 2006
9. L. Cardelli. On process rate semantics. draft, 2006
10. Cornish-Bowden A. Fundamentals of Chemical Kinetics. 3rd edition (2004), Portland Press
11. Elowitz M.B., and Leibler S. A syntetic oscillatory network of transcriptional regulators. Nature 403 (2000) 335-338
12. Gillespie D. The chemical langevin equation. Journal of Chemical Physics 113 1 (2000) 297-306
13. Gillespie D., and Petzold L. System Modelling in Cellular Biology. chapter. Numerical Simulation for Biochemical Kinetics (2006), MIT Press
14. Gillespie D.T. Exact stochastic simulation of coupled chemical reactions. J. of Physical Chemistry 81 25 (1977)
15. Hillston J. A Compositional Approach to Performance Modelling (1996), Cambridge University Press
16. J. Hillston. Fluid flow approximation of pepa models. In Proceedings of the Second International Conference on the Quantitative Evaluation of Systems (QEST05), 2005
17. Kitano H. Foundations of Systems Biology (2001), MIT Press
18. Kitano H. Computational systems biology. Nature 420 (2002) 206-210
19. Norris J.R. Markov Chains (1997), Cambridge University Press
20. Priami C. Stochastic π-calculus. The Computer Journal 38 6 (1995) 578-589
21. Rao C.V., and Arkin A.P. Stochastic chemical kinetics and the quasi-steady state assumption: Application to the gillespie algorithm. Journal of Chemical Physics 118 11 (March 2003) 4999-5010
22. Regev A., and Shapiro E. Cellular abstractions: Cells as computation. Nature 419 (2002)
23. Saraswat V.A. Concurrent Constraint Programming (1993), MIT press
24. Wilkinson D.J. Stochastic Modelling for Systems Biology (2006), Chapman & Hall