A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
On Combining Probability and Nondeterminism
2006
Electronical Notes in Theoretical Computer Science
The problem of combining nondeterminism and probability within a denotational model has been the subject of much research. Early work used schedulers to model probabilistic choice, interleaving their execution with that of nondeterministic choice, a theme that continues in some operational models today. More recent work has focused on providing a principled account of the interactions of these operators, with the aim of devising models that support both operators so that neither is related with
doi:10.1016/j.entcs.2005.12.113
fatcat:c4itrys7jzftnjlc52uahqmkc4