Concurrency and automata on infinite sequences (1981)

by David Park
Venue:Theoretical Computer Science, 5th GI-Conference