@article{weko_3692_1,
   author	 = "岡田,光弘",
   title	 = "並行計算の理論の最近の動向 ：3. 線形論理に基づく並行計算モデル：並行計算の論理的理解の試み",
   journal	 = "情報処理",
   year 	 = "1996",
   volume	 = "37",
   number	 = "4",
   month	 = "apr"
}