Concurrency and automata on infinite sequences (1981)

by D Park
Venue:Proc. 5th GI-Conf. on Theoretical Computer Science, volume 104 of LNCS