Asynchronous Team Automata.

Davide Basile, Maurice H. ter Beek, Jos Proena

Browse the full FM paper archive.