Process algebra approach to reasoning about concurrent actions Formal Methods Received: 27 February 2001 Revised: 08 July 2002
This work was supported by the National Natural Science Foundation of China (Grant No. 60273003) and the Key Grant Project of Chinese Ministry of Education.
Yuan Feng received the B.S. degree from Department of Mathematics, Tsinghua University in 1999. He is currently a Ph.D. candidate of Department of Computer Science and Technology, Tsinghua University, majoring in theoretical computer science. His current research is focusing on quantum information and quantum computation. Ming-Sheng Ying was born in 1964. He graduated from Department of Mathematics, Fuzhou Teachers College, Jiangxi, China, in 1981. He is currently a Cheung Kong Professor at the State Key Laboratory of Intelligent Technology and Systems, Department of Computer Science and Technology, Tsinghua University, and Chairman of the Association of Fuzzy Mathematics and Fuzzy Systems of China. His research interests include semantics of programming languages, mathematical logic and its applications, quantum computation, and fuzzy logic. He has published more than 60 papers in various journals including Journal of Symbolic Logic, Acta Informatica, Articial Intelligence, Theoretical Computer Science, Mathematical Proceedings of Cambridge Philosophy Society, and IEEE Transactions on Fuzzy Systems. He also published a research monograph “Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs”, Springer-Verlag, New York, 2001.