Hybrid dynamics of stochastic π-calculus

Mathematics in Computer Science

Volumn 2, Issue 3, 2009, Pages 465-491

  Bortolussi, Luca ^a   Policriti, Alberto ^b,c  

^a UNIVERSITY OF TRIESTE   (Italy)

^b UNIVERSITY OF UDINE   (Italy)

^c Applied Genomics Institute   (Italy)

Author keywords

Conservation laws; Hybrid automata; Stochastic calculus

Indexed keywords

EID: 76349093611     PISSN: 16618270     EISSN: 16618289     Source Type: Journal    
DOI: 10.1007/s11786-008-0065-3     Document Type: Article

References (25)

1. L. Bortolussi. A master equation approach to differential approximations of stochastic concurrent constraint programming. In Proceedings of QAPL (2008), volume 220 (3) of ENTCS, pp. 163-180, 2008.
2. L. Bortolussi and A. Policriti. Dynamical Systems and Stochastic Programming: to, Ordinary Differential Equations and Back Transactions of Computational Systems Biology, in print.
3. L. Bortolussi and A. Policriti. Stochastic concurrent constraint programming and differential equations. In Proceedings of Fifth Workshop on Quantitative Aspects of Programming Languages, QAPL 2007, volume 16713 of ENTCS, 2007.
4. L. Bortolussi and A. Policriti. Hybrid approximation of stochastic concurrent constraint programming. In Proceedings of IFAC 2008, 2008.
5. L. Bortolussi and A. Policriti. Hybris semantics for stochastic π-calculus. In Proceedings of AB 2008, volume 5147 of LNCS, pp. 40-57. Springer Verlag, 2008.
6. L. Bortolussi and A. Policriti. The importance of being (a little bit) discrete. In Proceedings of FBTC'08, 2008.
7. L. Bortolussi and A. Policriti. Modeling biological systems in concurrent constraint programming. Constraints, 13(1), 2008.
8. M. L. Bujorianu and J. Lygeros. General stochastic hybrid systems: Modeling and optimal control. In Proceedings of 43rd IEEE Conference on Decision and Control (CDC 2004), pp. 182-187, 2004.
9. M. Calder, S. Gilmore, and J. Hillston. Modelling the influence of rkip on the erk signalling pathway using the stochastic process algebra PEPA. Transactions on Computational Systems Biology, 4230:1-23, 2006.
10. L. Cardelli. From processes to odes by chemistry. downloadable from http://lucacardelli.name/,2006.
11. L. Cardelli. On process rate semantics. Theoretical Computer Science, 391(3):190-215, Elsevier, 2008.
12. M.R. Garey and D. S. Johnson. Computers and Intractability: a Guide to the Therory of NP-Completeness. Freeman, 1979.
13. D. Gillespie. The chemical Langevin equation. Journal of Chemical Physics, 113(1):297-306, 2000.
14. D. T. Gillespie. Exact stochastic simulation of coupled chemical reactions. J. of Physical Chemistry, 81(25), 1977.
15. E. L. Haseltine and J. B. Rawlings. On the origins of approximations for stochastic chemical kinetics. J. Chem. Phys., 123, 2005.
16. T. A. Henzinger. The theory of hybrid automata. In LICS '96: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, 1996.
17. J. Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press, 1996.
18. J. Hillston. Fluid flow approximation of PEPA models. In Proceedings of the Second International Conference on the Quantitative Evaluation of Systems (QEST05), 2005.
19. H. Kitano. Computational systems biology. Nature, 420:206-210, 2002.
20. N. A. Neogi. Dynamic partitioning of large discrete event biological systems for hybrid simulation and analysis. In Proceedings of 7th International Workshop on Hybrid Systems: Computation and Control, HSCC 2004, volume 2993 of LNCS, pp. 463-476, 2004.
21. C. Priami and P. Quaglia. Modelling the dynamics of biosystems. Briefings in Bioin-formatics, 5(3):259-269, 2004.
22. A. Regev and E. Shapiro. Cellular abstractions: Cells as computation. Nature, 419, 2002.
23. S. M. Ross. Stochastic Processes. Wiley, New York, 1996.
24. A. Schrijver. Theory of Linear and Integer Programming. John Wiley and sons, 1998.
25. D. J. Wilkinson. Stochastic Modelling for Systems Biology. Chapman & Hall, 2006.