Sequentiality vs. concurrency in games and logic (1994)

by S Abramsky
Venue:Mathematical Structures in Computer Science 13 (2003) 531–565. 32