On Probabilistic CCP

  title={On Probabilistic CCP},
  author={Alessandra Di Pierro and Herbert Wiklicky},
This paper investigates a probabilistic version of the concurrent constraint programming paradigm (CCP). The aim is to introduce the possibility to formulate so called \randomised algorithms" within the CCP framework. Our approach incorporates randomness directly within the (operational) semantics instead of referring to an \external" function or procedure call. We deene the operational semantics of probabilistic concurrent constraint programming (PCCP) by means of a probabilistic transition… CONTINUE READING