GALOP 2005:
Edinburgh,
Scotland,
UK (Part of ETAPS 2005)
Dan R. Ghica, Guy McCusker (Eds.):
Games for Logic and Programming Languages (GALOP 2005), University of Edinburgh, 2-3 April 2005, The workshop was organized as part of the ETAPS Conference.
2005 
- Pierre Hyvernat:
Synchronous games, simulations and lambda-calculus.
1-15
- Joaquin Aguado, Michael Mendler:
Constructive semantics for instantaneous reactions.
16-31
- James Laird:
A game semantics of the asynchronous pi-calculus and its dual.
32-47
- Russell Harmer:
Affine strategies in arena games.
48-60
- Michel Hirschowitz:
Abstract games.
61-75
- Andrea Schalk:
Concrete data structures as games.
76
- Panos Rondogiannis, William W. Wadge:
An infinite-game semantics for negation in logic programming.
77-91
- Dale Miller, Alexis Saurin:
A game semantics for proof search: preliminary results.
92-106
- David J. Pym, Eike Ritter:
A games semantics for reductive logic and proof-search.
107-123
- Andrzej S. Murawski:
Functions with local state: from regularity to undecidability.
124-138
- Aleksandar Dimovski, Dan R. Ghica, Ranko Lazic:
Abstraction-refinement for game-based model checking.
139
- Andreas Morgenstern, Klaus Schneider:
A unified model checking framework for the supervisor synthesis problem.
140-156
- Guy McCusker, Matthew Wall:
Categorical and game semantics for SCIR.
157-178
- Benjamin Leperchey:
Time and games.
179-194
- Paul Blain Levy:
Infinite trace equivalence.
195-209
- Stefano Berardi, Thierry Coquand, Susumu Hayashi:
Games with 1-backtracking.
210-225
- Yannick Delbecque:
Information and information flow in game semantics.
226-240
- Jan Jürjens:
Towards using game semantics for crypto protocol verification: Lorenzen games.
241-257
Copyright © Wed Nov 25 18:53:20 2009
by Michael Ley (ley@uni-trier.de)
