Playing Games with Boxes and Diamonds.

Rajeev Alur, Salvatore La Torre, P. Madhusudan

Browse the full CONCUR paper archive.