Robin Milner

http://www.intsci.ac.cn/news/milner.html

通信与移动系统:π演算


你可能感兴趣的:(Robin Milner)