出自计算机科学国家重点实验室

博士研究生
导师：林惠民
研究方向：Concurrency, Process Algebras, Security
邮箱: jliu(at)ios.ac.cn
个人主页：http://lcs.ios.ac.cn/~jliu
个人介绍：

• J. Liu. A Proof of Coincidence of Labeled Bisimilarity and Observational Equivalence in Applied Pi Calculus. �Technical Report, ISCAS-SKLCS-11-05. 2011
• J. Liu and H. Lin. Proof System for Applied Pi Calculus. In TCS 2010, IFIP AICT 323, pp. 229�243, 2010.
• J. Liu and H. Lin. A Complete Symbolic Bisimulation for Full Applied Pi Calculus. In SOFSEM '10: Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science, pages 552--563, Berlin, Heidelberg, 2010. Springer-Verlag.