Skip to main content

Concurrent strategies

Glynn Winskel ( University of Cambridge )

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: