Nondeterminism: many questions and (maybe)
some answers
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.