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.