Stochastic programs and hybrid automata for (biological) modeling

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

Volumn 5635 LNCS, Issue , 2009, Pages 37-48

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

^a UNIVERSITY OF TRIESTE   (Italy)

^b UNIVERSITY OF UDINE   (Italy)

^c Istituto di Genomica Applicata   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENT CONSTRAINT PROGRAMMING; DISCRETE/CONTINUOUS; HYBRID AUTOMATONS; STOCHASTIC BEHAVIOR;

AUTOMATA THEORY; COMPUTER PROGRAMMING; CONSTRAINT THEORY; STOCHASTIC PROGRAMMING; TRANSLATION (LANGUAGES);

STOCHASTIC SYSTEMS;

EID: 76249104524     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-03073-4_5     Document Type: Conference Paper

References (13)

1. Bortolussi, L.: Stochastic concurrent constraint programming. In: Proceedings of 4th International Workshop on Quantitative Aspects of Programming Languages (QAPL 2006). ENTCS, vol. 164, pp. 65-80 (2006)
2. Bortolussi, L., Policriti, A.: Stochastic concurrent constraint programming and differential equations. In: Proceedings of Fifth Workshop on Quantitative Aspects of Programming Languages, QAPL 2007. ENTCS 16713 (2007)
3. Bortolussi, L., Policriti, A.: Hybrid approximation of stochastic concurrent constraint programming. In: Proceedings of IFAC 2008, Seoul (2008)
4. Bortolussi, L., Policriti, A.: The importance of being (a little bit) discrete. In: Proceedings of FBTC 2008. ENTCS 17346 (2008)
5. Bortolussi, L., Policriti, A.: Modeling biological systems in concurrent constraint programming. Constraints 13(1) (2008)
6. Bortolussi, L., Policriti, A.: Stochastic Programs and Hybrid Automata for (Biological) Modeling. Technical Report, http://www.dmi.units.it/~bortolu/ sccp.htm
7. Di Pierro, A., Wiklicky, H.: An operational semantics for probabilistic concurrent constraint programming. In: Proceedings of IEEE Computer Society International Conference on Computer Languages (1998)
8. Gupta, V., Jagadeesan, R., Saraswat, V.A.: Probabilistic Concurrent Constraint Programming. In: Mazurkiewicz, A., Winkowski, J. (eds.) CONCUR 1997, vol. 1243. Springer, Heidelberg (1997)
9. Gupta, V., Jagadeesan, R., Panangaden, P.: Stochastic processes as concurrent constraint programs. In: Proceedings of POPL 1999 (1999)
10. Henzinger, T.A.: The theory of hybrid automata. In: LICS 1996: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (1996)
11. Norris, J.R.: Markov Chains. Cambridge University Press, Cambridge (1997)
12. Ross, S.M.: Stochastic Processes. Wiley, New York (1996)
13. Saraswat, V.A.: Concurrent Constraint Programming. MIT Press, Cambridge (1993)