Section: New Results

A Tale of Two Dualities

Participant : Jean Goubault-Larrecq.

We proved that there was a deep duality between angelic and demonic non-determinism, in various semantic models of non-determinism alone, of probabilistic choice, and of mixed non-deterministic and probabilistic choice [16] . This rests on and extends the so-called de Groot duality on stably compact spaces, and was first explained in an invited talk at the international Domains IX workshop, entitled “A Tale of Two Dualities” (U. Sussex, Brighton, UK, September 24, 2008).