A Mathematical Game Semantics of Concurrency and Nondeterminism.

Julian Gutierrez

Browse the full ICTAC paper archive.