33 search results - page 1 / 7 » Boosting Probabilistic Choice Operators |
CP
2007
Springer
13 years 11 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...
ARTS
1999
Springer
13 years 9 months ago
1999
Springer
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...
SEW
2006
IEEE
13 years 10 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
CONCUR
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. When dealing with process calculi and automata which express both nondeterministic and probabilistic behavior, it is customary to introduce the notion of scheduler to res...
APLAS
2007
ACM
13 years 8 months ago
2007
ACM
Abstract. We propose an extension of the Applied Pi