Title :
Concurrent Strategies
Author :
Rideau, Silvain ; Winskel, Glynn
Author_Institution :
Ecole Normale Super. de Paris, Paris, France
Abstract :
A bi category 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.
Keywords :
game theory; concurrent strategies; distributed fashion; formalize distributed games; nondeterministic concurrent games; Computational modeling; Distributed algorithms; Games; Positron emission tomography; Semantics; Synchronization; Tensile stress; Games; concurrency; event structure; strategy;
Conference_Titel :
Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on
Conference_Location :
Toronto, ON
Print_ISBN :
978-1-4577-0451-2
Electronic_ISBN :
1043-6871
DOI :
10.1109/LICS.2011.13
