Concurrent games and full completeness (1998)

by S Abramsky, P-A Melliès
Venue:Draft paper