APLAS
2007
ACM
14 years 4 months ago
2007
ACM
Abstract. We propose an extension of the Applied Pi
CP
2007
Springer
14 years 6 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...