@techreport{weko_30498_1,
   author	 = "カサブランカ,ファビオ and 坂部,俊樹 and 稲垣,康善",
   title	 = "有限なロケーションを持つ並行プロセス",
   year 	 = "1994",
   institution	 = "名古屋大学工学部情報工学科, 名古屋大学工学部情報工学科, 名古屋大学工学部情報工学科",
   number	 = "21(1993-PRO-016)",
   month	 = "mar"
}