Referenced Items are not available for this document.
A category of HO/N-style games and probabilistic strategies is developed where the possible choices of a strategy are quantified so as to give a measure of the likelihood of seeing a given play. A 2-sided die is shown to be universal in this category, in the sense that any strategy breaks down into a composition between some deterministic strategy and that die. The interpretative power of the category is then demonstrated by delineating a Cartesian closed subcategory which provides a fully abstract model of a probabilistic extension of Idealized Algol
Published in:
Logic in Computer Science, 2000. Proceedings. 15th Annual IEEE Symposium on
Date of Conference: 2000
- Page(s):
- 204 - 213
- Meeting Date :
- 26 Jun 2000-28 Jun 2000
- ISSN :
- 1043-6871
- Print ISBN:
- 0-7695-0725-5
- INSPEC Accession Number:
- 6644636
- Conference Location :
- Santa Barbara, CA
- Digital Object Identifier :
- 10.1109/LICS.2000.855770
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
