Asynchronous games 2: the true concurrency of innocence (2004)

by P-A Melliès
Venue:Proceedings of the 15th International Conference on Concurrency Theory (CONCUR 2004), No. 3170 in LNCS