An extensional treatment of dataflow deadlock (1981)

by W Wadge
Venue:Theoretical Computer Science