On the determinacy of concurrent games on event structures with infinite winning sets
A generalisation of the GaleStewart determinacy theorem to a partial order setting. A model of games on event structures where infinite winning sets are allowed. A new technique for constructing concurrent strategies as maps of event structures.
games mathematical logic concurrency theory