Stochastic Systems as Concurrent Constraint Programs

Vineet Gupta, Radha Jagadeesan, Prakash Panangaden


This paper describes a stochastic concurrent constraint language for the description and programming of concurrent probabilistic systems. The language can be viewed both as a calculus for describing and reasoning about stochastic processes and as an executable language for simulating stochastic processes. In this language programs encode probability distributions over (potentially infinite) sets of objects. We illustrate the subtleties that arise from the interaction of constraints, random choice and recursion. We describe operational semantics of these programs (programs are run by sampling random choices), denotational semantics of programs (based on labeled transition systems and weak probabilistic bisimulation), and prove soundness theorems. We show that Probabilistic cc is conservative over cc, thus justifying the design of Probabilistic cc. We use the semantic study to illustrate a novel use of probability to analyze a problem stated without reference to probability, namely the problem of indeterminacy in synchronous programs.

© Association of Computing Machinery, 1999.

  author =       "Vineet Gupta and Radha Jagadeesan and Prakash Panangaden",
  title =        "Stochastic processes as concurrent constraint
  booktitle =    "{POPL} '99. Proceedings of the 26th {ACM}
                 {SIGPLAN}-{SIGACT} on Principles of programming
                 languages, January 20--22, 1999, San Antonio, {TX}",
  publisher =    "ACM Press",
  address =      "New York, NY, USA",
  year =         "1999",
  pages =        "189--202",
  year =         "1999"
Postscript file (292K)
Pdf file (273K)