Theoretical Computer Science 358 (2006) 200–228 www.elsevier.com/locate/tcs Asynchronous games 2: The true concurrency of innocence ଁ Paul-André Melliès Equipe PPS,…