Paul Levy
University of Birmingham

Nondeterminism: many questions and (maybe) some answers

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.

Host:  John Reynolds
Appointments: Margaret Weigand <>

Friday, June 13, 2008
3:30 p.m.
Wean Hall 8220

Principles of Programming Seminars