@techreport{weko_30415_1,
   author	 = "奥畑,彰夫 and 村上,昌己",
   title	 = "名前渡しを含む並行プロセスの合成",
   year 	 = "1995",
   institution	 = "岡山大学工学部情報工学科, 岡山大学工学部情報工学科",
   number	 = "26(1994-PRO-021)",
   month	 = "mar"
}