An Operational Semantics for Probabilistic Concurrent Constraint Programming


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. Diierently from common approaches in (imperative) high-level programming languages, which rely on some kind of random() function, we introduce randomness in the very deenition of the language by means of a probabilistic choice construct. This allows a program to make stochastic moves during its execution. We call the resulting language Probabilistic Concurrent Constraint Programming (PCCP). We present an operational semantics for PCCP by means of a probabilistic transition system such that the execution of a PCCP program may be seen as a stochastic process, i.e. as a random walk on the transition graph. The transition probabilities are given explicitly. This semantics captures a notion of observ-ables which combines results of computations and the probability of those results being computed. This embedding of randomness within the semantics of a well structured programming paradigm, like CCP, also aims at providing a sound framework for for-malising and reasoning about randomised algorithms and programs. Additionally, we give some examples of PCCP programs and we show how well-known ran-domised algorithms can be implemented very naturally in the new language.

DOI: 10.1109/ICCL.1998.674168

Extracted Key Phrases


Citations per Year

57 Citations

Semantic Scholar estimates that this publication has 57 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Pierro1998AnOS, title={An Operational Semantics for Probabilistic Concurrent Constraint Programming}, author={Alessandra Di Pierro and Herbert Wiklicky}, booktitle={ICCL}, year={1998} }