Abstract is missing.
- Synchronous games, simulations and lambda-calculusPierre Hyvernat. 1-15
- Constructive semantics for instantaneous reactionsJoaquin Aguado, Michael Mendler. 16-31
- A game semantics of the asynchronous pi-calculus and its dualJames Laird. 32-47
- Affine strategies in arena gamesRussell Harmer. 48-60
- Abstract gamesMichel Hirschowitz. 61-75
- Concrete data structures as gamesAndrea Schalk. 76
- An infinite-game semantics for negation in logic programmingPanos Rondogiannis, William W. Wadge. 77-91
- A game semantics for proof search: preliminary resultsDale Miller, Alexis Saurin. 92-106
- A games semantics for reductive logic and proof-searchDavid J. Pym, Eike Ritter. 107-123
- Functions with local state: from regularity to undecidabilityAndrzej S. Murawski. 124-138
- Abstraction-refinement for game-based model checkingAleksandar Dimovski, Dan R. Ghica, Ranko Lazic. 139
- A unified model checking framework for the supervisor synthesis problemAndreas Morgenstern, Klaus Schneider. 140-156
- Categorical and game semantics for SCIRGuy McCusker, Matthew Wall. 157-178
- Time and gamesBenjamin Leperchey. 179-194
- Infinite trace equivalencePaul Blain Levy. 195-209
- Games with 1-backtrackingStefano Berardi, Thierry Coquand, Susumu Hayashi. 210-225
- Information and information flow in game semanticsYannick Delbecque. 226-240
- Towards using game semantics for crypto protocol verification: Lorenzen gamesJan Jürjens. 241-257