@techreport{weko_21971_1,
   author	 = "高田,司郎",
   title	 = "継続時間の扱いを考慮した並列性の形式化について",
   year 	 = "1994",
   institution	 = "奈良先端科学技術大学院大学",
   number	 = "55(1994-SE-099)",
   month	 = "jul"
}