1.1k citations · 2.1k across the 73 of their papers we have counts for
1 paper · 1 filter
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…