De Groot duality and models of choice: angels, demons and nature-Reference-Cited by-同舟云学术

De Groot duality and models of choice: angels, demons and nature

Published:2010-03-25 Issue:2 Volume:20 Page:169-237
ISSN:0960-1295
Container-title:Mathematical Structures in Computer Science
language:en
Short-container-title:Math. Struct. Comp. Sci.

Author:

GOUBAULT-LARRECQ JEAN

Abstract

We introduce convex–concave duality for various models of non-deterministic choice, probabilistic choice and the two of them combined. This complements the well-known duality of stably compact spaces in a pleasing way: convex–concave duality swaps angelic and demonic choice, and leaves probabilistic choice invariant.

Publisher

Cambridge University Press (CUP)

Subject

Computer Science Applications,Mathematics (miscellaneous)

Reference45 articles.

1. Tix R. (1999) Continuous D-Cones: Convexity and Powerdomain Constructions, Ph.D. thesis, Technische Universität Darmstadt.

2. Nachbin L. (1948) Sur les espaces uniformes ordonnés. Comptes-Rendus de l'Académie des Sciences, MR 9

3. (455) 774-775. (English Translation in Nachbin (1965).)

4. The versatile continuous order

5. Kirch O. (1993) Bereiche und Bewertungen, Master's thesis, Technische Hochschule Darmstadt.

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. DUALITY FOR COALGEBRAS FOR VIETORIS AND MONADICITY;The Journal of Symbolic Logic;2024-03-04

2. Kantorovich-Rubinstein quasi-metrics IV: Lenses, quasi-lenses and forks;Topology and its Applications;2023-06

3. Presenting de Groot duality of stably compact spaces;Theoretical Computer Science;2020-07

4. MIXED POWERDOMAINS FOR PROBABILITY AND NONDETERMINISM;LOG METH COMPUT SCI;2017

5. Isomorphism theorems between models of mixed choice;Mathematical Structures in Computer Science;2015-12-28