Concurrency and automata on infinite sequences (1981)

by D Park
Venue:In: Proc. of the 5th GI-Conference on Theoretical Computer Science