An extensional treatment of dataflow deadlock, Theoretical computer science (1981)

by W W Wadge
Venue:Department of Mathematics, City College, City University of New