On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation

Electronic Notes in Theoretical Computer Science

Volumn 220, Issue 3, 2008, Pages 163-180

  Bortolussi, Luca ^a,b  

^a UNIVERSITY OF TRIESTE   (Italy)

^b Center for Biomolecular Medicine   (Italy)

Author keywords

biological systems; fluid flow approximation; ordinary differential equations; Stochastic Concurrent Constraint Programming

Indexed keywords

CONCURRENT CONSTRAINT PROGRAMMINGS; FIRST ORDERS; FLOW APPROXIMATIONS; FLUID FLOWS; MASTER EQUATIONS; STOCHASTIC CONCURRENT CONSTRAINT PROGRAMMING;

BIOLOGICAL SYSTEMS; COMPUTER PROGRAMMING; CONSTRAINT THEORY; INFORMATION THEORY; POLYNOMIAL APPROXIMATION; SYSTEMS ANALYSIS;

ORDINARY DIFFERENTIAL EQUATIONS;

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

References (22)

1. Bortolussi L. Stochastic concurrent constraint programming. Proceedings of 4th International Workshop on Quantitative Aspects of Programming Languages (QAPL'06). ENTCS 164 (2006) 65-80
2. L. Bortolussi. Constraint-based approaches to stochastic dynamics of biological systems. PhD thesis, PhD in Computer Science, University of Udine, 2007. Available at http://www.dmi.units.it/~bortolu/files/reps/Bortolussi-PhDThesis.pdf
3. L. Bortolussi and A. Policriti. Dynamical systems and stochastic programming I - ordinary differential equations. Submitted to Transactions of Computational Systems Biology, 2007
4. Bortolussi L., and Policriti A. Stochastic concurrent constraint programming and differential equations. Proceedings of Fifth Workshop on Quantitative Aspects of Programming Languages. QAPL'07. ENTCS 167 (2007)
5. L. Bortolussi and A. Policriti. Hybrid approximation of stochastic concurrent constraint programming. In To be presented at IFAC'08., 2008
6. Bortolussi L., and Policriti A. Modeling biological systems in concurrent constraint programming. Constraints 13 1 (2008)
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. downloadable from http://lucacardelli.name/, 2006
9. L. Cardelli. A process algebra master equation. In Proceedings of QEST'07, 2007
10. Cornish-Bowden A. Fundamentals of Chemical Kinetics. 3rd edition (2004), Portland Press
11. J. Ding and J. Hillston. On odes from pepa models. In Proceedings of PASTA'07, 2007
12. N. Geisweiller, J. Hillston, and M. Stenico. Relating continuous and discrete pepa models of signalling pathways. Theoretical Computer Science, 2008. in print
13. Gillespie D.T. Exact stochastic simulation of coupled chemical reactions. J. of Physical Chemistry 81 25 (1977)
14. R.A. Hayden and J.T. Bradley. Fluid-flow solutions in PEPA to the state space explosion problem. In Proceedings of PASTA'07, 2007
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 (QEST'05), 2005
17. Hu J., Lygeros J., and Sastry S. Towards a theory of stochastic hybrid systems. Proceeding of Hybrid Systems: Computation and Control. HSCC 2000. LNCS volume 1790 (2000)
18. Van Kampen N.G. Stochastic Processes in Physics and Chemistry (1992), Elsevier
19. Norris J.R. Markov Chains (1997), Cambridge University Press
20. Regev A., and Shapiro E. Cellular abstractions: Cells as computation. Nature 419 (2002)
21. Saraswat V.A. Concurrent Constraint Programming (1993), MIT press
22. Vilar J.M.G., Yuan Kueh H., Barkai N., and Leibler S. Mechanisms of noise resistance in genetic oscillators. PNAS 99 9 (2002) 5991