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.
: A game semantics of the asynchronous pi-calculus and its dual.
: Towards using game semantics for crypto protocol verification: Lorenzen games.