Concurrent Games and Full Completeness
S. Abramsky and P.−A. Melliés
Book Title
Proceedings of the Fourteenth International Symposium on Logic in Computer Science
Pages
431−442
Publisher
Computer Society Press of the IEEE
Year
1999
S. Abramsky and P.−A. Melliés