On Combining Probability and Nondeterminism | Zendy

Michael Mislove | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

On Combining Probability and Nondeterminism

Author(s) -

Michael Mislove

Publication year - 2006

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2005.12.113

Subject(s) - nondeterministic algorithm , computer science , interleaving , probabilistic logic , theme (computing) , point (geometry) , theoretical computer science , subject (documents) , artificial intelligence , mathematics , geometry , library science , operating system

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 the other. In this paper we recount the results along this line, and point out some places where further research is warranted

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research