@techreport{weko_30372_1,
   author	 = "細谷,晴夫 and 増原,英彦 and 田浦,健次朗 and 米澤,明憲",
   title	 = "プロセスとチャネルに基づく並列言語のための部分計算",
   year 	 = "1995",
   institution	 = "東京大学理学系研究科情報科学, 東京大学理学系研究科情報科学, 東京大学理学系研究科情報科学, 東京大学理学系研究科情報科学",
   number	 = "82(1995-PRO-002)",
   month	 = "aug"
}