Hybrid semantics for stochastic π-calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5147 LNCS, Issue , 2008, Pages 40-55

  Bortolussi, Luca ^a   Policriti, Alberto ^b  

^a UNIVERSITY OF TRIESTE   (Italy)

^b UNIVERSITY OF UDINE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; DIFFERENTIATION (CALCULUS); DYNAMICAL SYSTEMS; INFORMATION THEORY; MATHEMATICAL TECHNIQUES; MATRIX ALGEBRA; SCHRODINGER EQUATION; SEPARATION; STOCHASTIC PROGRAMMING;

CALCULUS PROCESSES; CHEMICAL-; CONSERVATION PROPERTIES; HYBRID AUTOMATONS; INTERNATIONAL CONFERENCES;

CALCULATIONS;

EID: 52949138740     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85101-1_4     Document Type: Conference Paper

References (21)

1. Bortolussi, L.: A master equation approach to differential approximations of stochastic concurrent constraint programming. In: Proceedings of QAPL 2008 (2008)
2. Bortolussi, L., Policriti, A.: Dynamical systems and stochastic programming I -ordinary differential equations. Trans. of Comp. Sys. Bio. (submitted, 2008)
3. Bortolussi. L., Policriti, A.: Stochastic concurrent constraint programming and differential equations. In: Proceedings of QAPL 2007. ENTCS, vol. 16713 (2007)
4. Bortolussi, L., Policriti, A.: Hybrid approximation of stochastic concurrent constraint programming. In: Proceedings of IFAC 2008 (2008)
5. Bortolussi, L., Policriti, A.: Modeling biological systems in concurrent constraint programming. Constraints 13(1) (2008)
6. Calder, M., Gilmore, S., Hillston, J.: Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. Trans. of Comp. Sys. Bio. 4230, 1-23 (2006)
7. Cardelli, L.: From processes to ODEs by chemistry (2006), http://lucacardelli.name/
8. Cardelli, L.: On process rate semantics. In: TCS (2007)
9. Garey, M.R., Johnson, D.S.: Computers and Intractability: a Guide to the Therory of NP-Completeness. Freeman, New York (1979)
10. Gillespie, D.: The Chemical Langevin Equation. Jo. of Chem. Phys. 113(1), 297-306 (2000)
11. Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. of Phys. Chem. 81(25) (1977)
12. Haseltine, E.L., Rawlings, J.B.: On the origins of approximations for stochastic chemical kinetics. J. Chem. Phys. 123 (2005)
13. Henzinger, T.A.: The theory of hybrid automata. In: Proceedings of LICS 1996 (1996)
14. Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)
15. Hillston, J.: Fluid flow approximation of PEPA models. In: Proceedings of QEST 2005 (2005)
16. Kitano, H.: Computational systems biology. Nature 420, 206-210 (2002)
17. Neogi, N.A.: Dynamic partitioning of large discrete event biological systems for hybrid simulation and analysis. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993. pp. 463-476. Springer. Heidelberg (2004)
18. Priami, C., Quaglia. P.: Modelling the dynamics of biosystems. Briefings in Bioinformatics 5(3), 259-269 (2004)
19. Regev, A., Shapiro, E.: Cellular abstractions: Cells as computation. Nature 419 (2002)
20. Ross, S.M.: Stochastic Processes. Wiley, New York (1996)
21. Wilkinson, D.J.: Stochastic Modelling for Systems Biology. Chapman & Hall, Boca Raton (2006)