Concurrency and automata on in nite sequences (1981)

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