Concurrent strategies
Glynn Winskel ( University of Cambridge )
- 14:00 27th May 2011 ( week 4, Trinity Term 2011 )Lecture Theatre B
A bicategory of very general nondeterministic concurrent games and strategies is presented. The intention is to formalize distributed games in which both Player (or a team of players) and Opponent (or a team of opponents) can interact in highly distributed fashion, without, for instance, enforcing that their moves alternate.
This is joint work with Silvain Rideau.
Share this:
