Concurrency and Automata on Infinite Sequences (1981)

by David Park
Venue:Theoretical Computer Science