Concurrent Games and Full Completeness.

Samson Abramsky, Paul-Andr Mellis

Browse the full LICS paper archive.