Welcome to Journal of University of Chinese Academy of Sciences，Today is
RSS 中文
A Simple Type System with Security Level in π-calculus
WANG Li-Bin, CHEN Ke-Fei
中国科学院大学学报 . 2002, (3): 278 -281 .  DOI: 10.7523/j.issn.2095-6134.2002.3.009

Copyright © Journal of University of Chinese Academy of Sciences

Support by Beijing Magtech Co.ltd support@magtech.com.cn