Sequentiality vs. concurrency in games and logic
S. Abramsky
Book Title
Mathematical Structures in Computer Science
Pages
531−565
Volume
13
Year
2003
S. Abramsky