Operational semantics for probabilistic concurrent constraint programming

Proceedings of the IEEE International Conference on Computer Languages

Volumn , Issue , 1998, Pages 174-183

  Di Pierro, Alessandra ^a   Wiklicky, Herbert ^a  

^a CITY UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL LINGUISTICS; CONSTRAINT THEORY; RANDOM PROCESSES; STRUCTURED PROGRAMMING;

PROBABILISTIC CONCURRENT CONSTRAINT PROGRAMMING (PCCP); PROBABILISTIC TRANSITION SYSTEMS; RANDOMIZED ALGORITHMS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0031645080     PISSN: 10748970     EISSN: None     Source Type: None    
DOI: 10.1109/ICCL.1998.674168     Document Type: Conference Paper

References (25)

1. D. E. Goldberg Genetic Algorithms in Search, Optimization, and Machine Learning 1989 Addison-Wesley Massachusetts, Reading
2. G. R. Grimmett D. R. Stirzaker Probability and Random Processes second 1992 Clarendon PressΓ Oxford
3. C. M. Grinstead J. L. Snell Introduction to Probability second revised 1997 American Mathematical Society Rhode Island, Providence
4. V. Gupta R. Jagadeesan V. A. Saraswat Probabilistic concurrent constraint programming Proceedings of CONCUR 97 Proceedings of CONCUR 97 1997
5. Approximation Algorithms for NP-Hard Problems 1997 PWS Publishing Company MA, Boston
6. M. Huth M. Kwiatkowska On probabilistic model checking August 1996 CSR-96-15 School of Computer ScienceΓUniversity of Birmingham
7. C. Jones Probabilistic Non-Determinism 1993 University of EdinburghΓ Edingburgh
8. G. J. Klir B. Yuan Fuzzy Sets and Fuzzy Logic 1995 Prentice Hall New Jersey
9. D. Kozen Semantics for probabilistic programs Journal of Computer and System Sciences 22 328 350 1981
10. M. Z. Kwiatkowska Infinite Behaviour and Fairness in Concurrent Constraint Programming Semantics: Foundations and Applications 666 348 383 Semantics: Foundations and Applications Beekbergen The Nederland 1992-June
11. D. Lincoln J. C. Mitchell A. Scedrov London Mathematical Society Lecture Note Series 222 147 166 1995 Cambridge University Press Cambridge Stochastic interaction and Linear Logic
12. A. Mclver C. Morgan Probabilistic predicate transformers: Part 2 1996 PRG-TR-5-96 Programming Research GroupΓ Oxford University Computing Laboratory
13. N. Metropolis A. W. Rosenbluth M. N. Rosenbluth A. H. Teller E. Teller Equation of state calculations for fast computing machines Journal of Chemical Physics 21 1087 1092 1953
14. C. Morgan A. McIver K. Seidel J. W. Sanders Probabilistic predicate transformers 1995 PRG-TR-4-95 Programming Research GroupΓ Oxford University Computing Laboratory
15. R. Motwani P. Raghavan Randomized Algorithms 1995 Cambridge University Press England, Cambridge
16. G. Plotkin A structured approach to operational semantics 1981 FN-19 Computer Science DepartmentΓAarhus University
17. N. Saheb-Djahromi CPO's of measures for nondeterminism Theoretical Computer Science 12 19 37 1980
18. V. A. Saraswat M. Rinard Concurrent constraint programming Proceedings of POPL 232 245 Proceedings of POPL 1990
19. V. A. Saraswat M. Rinard P. Panangaden Semantics foundations of concurrent constraint programming Proceedings of POPL 333 353 Proceedings of POPL 1991
20. E. Aarts J. Korst Simulated Annealing and Boltzmann Machines 1989 John Wiley & Sons Chicester
21. N. Angelopoulos A. D. Pierro H. Wiklicky Implementing randomised algorithms in constraint logic programming JICSLP'98-Joint International Conference and Symposium on Logic Programming JICSLP'98-Joint International Conference and Symposium on Logic Programming Cambridge Massachusetts 1998
22. C. Baier M. Z. Kwiatkowska Model checking for a probabilistic branching time logic with fairness June 1996 CSR-96-12Γ School of Computer ScienceΓUniversity of BirminghamΓ
23. M. Bernardo R. Gorrieri A tutorial on EMPA: A theory of concurrent processes with nondeterminismΓprioritiesΓprobabilities and time January 1997 UBLCS-96-17Γ Department of Computer ScienceΓUniversity of Bologna
24. F. S. de Boer Alessandra Di PierroΓ and Catuscia Palamidessi. Nondeterminism and Infinite Computations in Constraint Programming Theoretical Computer Science 151 1 Theoretical Computer Science France 1995
25. A. Di Pierro H. Wiklicky A Banach space based semantics for Probabilistic Concurrent Constraint Programming CATS'98-Computing: the 4th Australian Theory Symposium 20 3 245 259 CATS'98-Computing: the 4th Australian Theory Symposium Berlin Singapore New York 1998-February