Concurrency and Automata in Infinite Strings (1981)

by D Park
Venue:Lecture Notes in Computer Science 104