On the Complexity of Termination Inference for Processes
-
- 小林 直樹
- 東北大学
書誌事項
- タイトル
- On the Complexity of Termination Inference for Processes
- 著者
- Romain Demangeon, Daniel Hirschkoff, Naoki Kobayashi, Davide Sangiorgi
収録刊行物
-
- Proceedings of Trustworthy Global Computing(TGC'07) 4912
-
Proceedings of Trustworthy Global Computing(TGC'07) 4912 140-155, 2007