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