@techreport{weko_30406_1,
   author	 = "磯部,祥尚 and 佐藤,豊 and 大蒔,和仁",
   title	 = "ブロードキャスト用プロセス代数（CCB）のための観測的合同関係",
   year 	 = "1995",
   institution	 = "電子技術総合研究所情報アーキテクチャ部情報ベース研究室, 電子技術総合研究所情報アーキテクチャ部情報ベース研究室, 電子技術総合研究所情報アーキテクチャ部情報ベース研究室",
   number	 = "26(1994-PRO-021)",
   month	 = "mar"
}