Naoki Kobayashi A Partially Deadlock-Free Typed Process Calculus. 128-139 http://www.computer.org/proceedings/lics/7925/79250128abs.htm 1997 LICS db/conf/lics/lics97.html#Kobayashi97