Stochastic Concurrent Constraint Programming

Electronic Notes in Theoretical Computer Science

Volumn 164, Issue 3 SPEC. ISS., 2006, Pages 65-80

  Bortolussi, Luca ^a  

^a UNIVERSITY OF UDINE   (Italy)

Author keywords

Concurrent Constraint Programming; Continuous Time; Probabilistic Semantics; Stochastic Languages

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CONCURRENT ENGINEERING; DISCRETE TIME CONTROL SYSTEMS; MATHEMATICAL MODELS; SEMANTICS; STOCHASTIC PROGRAMMING;

CONCURRENT CONSTRAINT PROGRAMMING; CONTINUOUS TIME; PROBABILISTIC SEMANTICS; STOCHASTIC LANGUAGES;

COMPUTER PROGRAMMING;

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

References (25)

1. Apt K. Principles of Constraint Programming (2003), Cambridge University Press
2. M. Bernardo and R. Gorrieri. A tutorial on empa: A theory of concurrent processes with nondeterminism, priorities, probabilities and time. Technical Report 96-17, Department of Computer Science, University of Bologna, 1997
3. F.S. de Boer, R.M. van Eijk, W. van der Hoek, and J-J. Ch. Meyer. Failure semantics for the exchange of information in multi-agent systems. In Proceedings of CONCUR 2000, 1998
4. L. Bortolussi and A. Policriti. Connecting process algebras and differential equations for systems biology. In Submitted to CMSB 2006, 2006
5. Bradley J., and Davies N. Reliable performance modeling with approximate synchronisations. In: Hillston J., and Silva M. (Eds). Proceedings of the 7th workshop on process algebras and performance modeling (September 1999), Prensas Universitarias de Zaragoza 99-118
6. de Boer F.S., Di Pierro A., and Palamidessi C. Nondeterminism and infinite computations in constraint programming. Theoretical Computer Science 151 1 (1995)
7. R. De Nicola, D. Latella, and M. Massink. Formal modeling and quantitative analysis of klaim-based mobile systems. In Proceedings of SAC05, 2005
8. A. Di Pierro, C. Hankin, and H. Wiklicky. Continuous time probabilistic klaim. In Proceedings of SECCO 2004, 2004
9. A. Di Pierro and H. Wiklicky. A banach space based semantics for probabilistic concurrent constraint programming. In Proceedings of CATS'98, 1998
10. A. Di Pierro and H. Wiklicky. An operational semantics for probabilistic concurrent constraint programming. In Proceedings of IEEE Computer Society International Conference on Computer Languages, 1998
11. A. Di Pierro and H. Wiklicky. Operator algebras and the operational semantics of probabilistic languages. In Proceedings of MFCSIT 2004, 2004
12. A. Garcia Villanueva. Model Checking for the Concurrent Constraint Programming Paradigm. PhD thesis, University of Udine, 2003
13. Gillespie D.T. Exact stochastic simulation of coupled chemical reactions. J. of Physical Chemistry 81 25 (1977)
14. V. Gupta, R. Jagadeesan,, and V.A. Saraswat. Probabilistic concurrent constraint programming. In Proceedings of CONCUR'97, 1997
15. Rety J.H. Distributed concurrent constraint programming. Fundamentae Informaticae 34 3 (1998) 323-346
16. Henkin L., Monk J.D., and Tarski A. Cylindric Algebras, Part I (1971), North-Holland, Amsterdam
17. J. Hillston. Pepa: Performance enhanced process algebra. Technical report, University of Edimburgh, 1993
18. Norris J.R. Markov Chains (1997), Cambridge University Press
19. Priami C. Stochastic π-calculus. The Computer Journal 38 6 (1995) 578-589
20. Priami C., and Quaglia P. Stochastic π-calculus. Briefings in Bioinformatics 5 3 (2004) 259-269
21. Rutten J., Kwiatkowska M., Norman G., and Parker D. Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems. In: Panangaden P., and van Breugel F. (Eds). CRM Monograph Series volume 23 (2004), American Mathematical Society
22. Saraswat V.A. Concurrent Constraint Programming (1993), MIT press
23. V. A. Saraswat, R. Jagardeesan, and V. Gupta. Foundations of timed concurrent constraint programming. In Proceeding of 9th Annual IEEE Symposium on Logic and Computer Science, pages 71-80, 1994
24. V. A. Saraswat, M. Rinard, and P. Panangaden. Semantics foundations of concurrent constraint programming. In Proceedings of POPL, 1991
25. Shields P.C. The Ergodic Theory of Discrete Sample Paths. Graduate Studies in Mathematics volume 13 (1996), American Mathematical Society, Providence, Rhode Island