An extensional treatment of dataflow deadlock (1979)

by W W Wadge
Venue:In Proceedings of the International Sympoisum on Semantics of Concurrent Computation