University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > Nondeterminism: many questions and (maybe) some answers

Nondeterminism: many questions and (maybe) some answers

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Sam Staton.

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.

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity