@techreport{weko_69885_1,
   author	 = "田口,博一 and 豊島,真澄",
   title	 = "プロセス代数によるアーキテクチャ記述の容易化に関する研究",
   year 	 = "2010",
   institution	 = "北九州市立大学院国際環境工学研究科, 北九州市立大学院国際環境工学研究科",
   number	 = "10",
   month	 = "jul"
}