Nondeterminism, fixpoints and bisimulation

Paul Blain Levy

School of Computer Science
University of Birmingham

Thursday, 5 May 2011, 14:00, and Tuesday 10 May 2011, 14:00
Cybernetica Bldg (Akadeemia tee 21), room B101

Abstract: Denotational semantics of nondeterminism is an old subject, but many fundamental problems remain, such as modelling bisimulation and fairness. This talk is a survey of the state of the art in these problems.

On the one hand, we see counterexamples that pinpoint the difficulties. On the other, I will indicate some lines of investigation that appear promising, using recent technology such as game semantics and operational reasoning methods.

Tarmo Uustalu
Last update 25.4.2011