@techreport{weko_30298_1,
   author	 = "堀田,英一 and 真野,健",
   title	 = "Nepi2：π計算に基づくネットワーク・プログラミングのための2レベル計算体系",
   year 	 = "1996",
   institution	 = "NTTコミュニケーション研究所, NTTコミュニケーション研究所",
   number	 = "82(1996-PRO-008)",
   month	 = "aug"
}