On interacting automata with limited nondeterminism (1998)

by Th Buchholz, A Klein, M Kutrib
Venue:Fund. Inform