Concurrent games on event structures

Julian Gutierrez

(University of Oxford)

Various definitions of games have been proposed in the games and computer science literatures. In this talk I will present a model where concurrent games are represented by event structures; this model generalises sequential games represented as trees to a partial order setting. In particular I will describe some results about the existence of winning strategies for games satisfying two fundamental
structural conditions on event structures. Most of the main technical results to be presented in this talk can be found in a recent CONCUR'13 paper.
Tuesday 25th February 2014, 13:15
video conferencing room
Department of Computer Science