A game semantics of the asynchronous pi-calculus and its dual

James Laird. A game semantics of the asynchronous pi-calculus and its dual. In Dan R. Ghica, Guy McCusker, editors, 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. pages 32-47, 2005.

Abstract

Abstract is missing.