Concurrent games and full completeness (1999)

by S Abramsky, P-A Melliès
Venue:In Proceedings of the Fourteenth Annual Symposium on Logic in Computer Science, LiCS