@article{weko_16652_1, author = "加藤,紀夫 and 上田,和紀", title = "階層グラフ書換え言語における並行プロセスの型推論", journal = "情報処理学会論文誌プログラミング(PRO)", year = "2005", volume = "46", number = "SIG1(PRO24)", pages = "155--155", month = "jan" }