Focusing in asynchronous games (2010)

by S Mimram
Venue:CiE: Programs, Proofs, Processes, volume 6158 of LNCS