Personal tools
You are here: Home Events Abstract Archives 2007-2008 Nondeterminism: many questions and (maybe) some answers

Nondeterminism: many questions and (maybe) some answers

Paul Blain Levy University of Birmingham 4pm Tuesday 27th November 2007 Room 2511, JCMB, King's Buildings

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.

Document Actions