A New Type System for Deadlock-Free Processes
-
- 小林 直樹
- 東北大学
書誌事項
- タイトル
- A New Type System for Deadlock-Free Processes
- 著者
- Naoki Kobayashi
収録刊行物
-
- Proceedings of the 17th International Conference on Concurrency Theory(CONCUR'06) 4137
-
Proceedings of the 17th International Conference on Concurrency Theory(CONCUR'06) 4137 233-247, 2006