[an error occurred while processing this directive] An error occured whilst processing this directive

LFCS Seminar


Nondeterminism: many questions and (maybe) some answers

Paul Blain Levy

University of Birmingham

4pm Tuesday 27th November 2007
Room 2511, JCMB, King's Buildings


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.


An error occured whilst processing this directive