东篱科研大数据发现系统（DRDS）

位置：成果数据库 > 期刊 > 期刊详情页

Expressing First-Order π-Calculus in Higher-Order Calculus of Communicating Systems

ISSN号：1000-9000
期刊名称：《计算机科学技术学报：英文版》
时间：0
分类：TP31[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
作者机构：[1]Department of Computer Science and Engineering, Shanghai Jiao Tong University, Shanghai 200240, China, [2]Department of Computer Science and Engineering, East China University of Science and Technology Shanghai 200237, China
相关基金：This work is supported by the National Basic Research 973 Program of China under Grant No. 2003CB317005, the National Natural Science Foundation of China under Grant Nos. 60473006 and 60573002, and the National Research Foundation for the Doctoral Program of Higher Education of China Research Fund under Grant No. 20010248033. Acknowledgements The author would like toexpress his gratitude to Professor Yuxi Fu for his encouragement and many helpful discussions. The author is also indebted to Professor Davide Sangiorgi for his reviewing of this paper and some overall suggestions on improvements. We also thank the anonymous reviewers for their patient comments. Thanks also go to all the members of the BASICS Lab.

作者：徐贤[1,2]

关键词：过程微积分, 高阶, 编码, 抽象, process calculus, higher order, bisimulation, encoding, full abstraction

中文摘要：

E-mail： xuxian@sjtu.edu.cn; xuxian2004@gmail.com, Xian Xu is a Ph.D. candidate in BASICS Lab, Department of Computer Science and Engineering, Shanghai Jiao Tong University （SJTU）. Currently he is affiliated with Department of Computer Science and Engineering, East China University of Science and Technology. He obtained the B.S. degree in computer science from SJTU in 2002, and obtained his M.S. degree in computer science in DCTC （Distributed Computing Technology Center） from SJTU in 2005. His current research interests include concurrency, especially process calculi, such as their semantics, bisimulation theory, axiomatization, expressive power and etc. He also takes interest in the application of concurrency models to systems biology and （security） protocol analysis and verification, and has got some publications.

同期刊论文项目