@article{weko_16787_1, author = "桑原,寛明 and 結縁祥治 and 阿草,清滋", title = "π計算による優先度継承プロトコルの形式的記述", journal = "情報処理学会論文誌プログラミング(PRO)", year = "2002", volume = "43", number = "SIG08(PRO15)", pages = "118--118", month = "sep" }