2007年3月 PPL 2007 発表賞 日本ソフトウェア科学会プログラミング論研究会 末永 幸平, 小林直樹 タイトル Type-based analysis of deadlock for a concurrent calculus with interrupts
