On the determinacy of concurrent games on event structures with infinite winning sets

作者：

Highlights：

• A generalisation of the Gale–Stewart 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.

摘要

•A generalisation of the Gale–Stewart 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.

论文关键词：Mathematical logic,Concurrency theory,Games

论文评审过程：Received 14 February 2012, Revised 6 May 2013, Accepted 3 February 2014, Available online 3 April 2014.

论文官网地址：https://doi.org/10.1016/j.jcss.2014.04.005