An extensional treatment of dataflow deadlock
2005 ◽
pp. 285-299
◽