133
click to vote
CONCUR
2007
Springer
16 years 15 days 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...