@article{weko_3690_1,
   author	 = "堀田,英一",
   title	 = "並行計算の理論の最近の動向 ：1. プロセス代数の意味論",
   journal	 = "情報処理",
   year 	 = "1996",
   volume	 = "37",
   number	 = "4",
   month	 = "apr"
}