1 citations · 1 across the 1 of their papers we have counts for
1 paper
Konstantinos Chatzikokolakis, Catuscia Palamidessi
When dealing with process calculi and automata which express both nondeterministic and probabilistic behavior, it is customary to introduce the notion of scheduler to solve the non…