APLAS
2007
ACM
13 years 8 months ago
2007
ACM
Abstract. We propose an extension of the Applied Pi
CP
2007
Springer
13 years 10 months ago
2007
Springer
Probabilistic Choice Operators (PCOs) are convenient tools to model uncertainty in CP. They are useful to implement randomized algorithms and stochastic processes in the concurrent...