本课程旨在向学生介绍近年来对并发计算的理论研究，主要以进程演算为主。要求学生掌握基本的并发计算模型——CCS，以及相关的研究方法、证明技巧和实际应用等内容。

Introduction:This course intends to provide students a sufficient backgroundknowledge of theoretical research in the concurrent computationfield in recent decades. This course mainly talks about processcalculus, which is a group of similar models of concurrent system.Taken this course, students can be familiar with CCS, the mostbasic model, and the research approaches, proof techniques and applications associated with this model.