一个ppt,一个英文pdf,对于进程代数的了解有点帮助!