@techreport{weko_44193_1,
   author	 = "ATSUSHI,TOGASHI and FUMIAKI,KANEZASHI",
   title	 = "A Modal Proof System for Mobile Processes",
   year 	 = "1998",
   institution	 = "Department of Computer Science  Shizuoka University, Graduate school of Science and Engineering  Shizuoka University",
   number	 = "83(1998-MBL-006)",
   month	 = "sep"
}