Tree Automata and Discrete Distributed Games.

Julien Bernet, David Janin

Browse the full FCT paper archive.