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