Infinite Games
- Yuri Gurevich
Bulletin of the European Association for Theoretical Computer Science | , pp. 93-100
Infinite games are widely used in mathematical logic. Recently infinite games were used in connection to concurrent computational processes that do not necessarily terminate. For example, operating system may be seen as playing a game “against” the disruptive forces of users. The classical question of the existence of winning strategies turns out to be of importance to practice. We explain a relevant part of the infinite game theory.
Reprinted in 1993 World Scientific book Current Trends in Theoretical Computer Science (opens in new tab)pages 235-24.