@techreport{weko_31191_1,
   author	 = "堀田,英一",
   title	 = "入出力関数を基礎とした並行プロセスについての形式的理論とそのモデル",
   year 	 = "1986",
   institution	 = "NTT電気通信研究所",
   number	 = "83(1986-PRO-019)",
   month	 = "dec"
}