An extensional treatment of dataflow deqdlock (1981)

by W W Wadge
Venue:Theoretical Computer Science