进程代数是关于通信并发系统的代数理论的统称。 20世纪70年代后期，英国学者RMnner和C. A.R，分别提出了通信系统演算和通信顺序进程，开创了用代数方法研究通信并发系统的先河。 此后这一研究方向兴盛不衰，出现了众多类似而又 相互区别的演算系统，如ACP(提出者J.A.Ber郎tra 和J.W.K10p)，ATp(提出者M.H即n樱y)，Meije(提出者G.Eudol，R.desi~)，LOTC6等，统称为进程代数。计算机科学是个非常年轻的科学，非常多的研究至今可能都不超过50年，很多研究的都可以追溯到20世纪50年代，而那个时候从事计算机事业的大师们很多今天仍健在。所以相对而言，我们对与一些事情的历史可以更加细致地但不会过于冗长地进行介绍。通过本文，我希望读者了解到进程代数是什么，并可以在脑中形成一条简单的时间线，清楚地看到进程代数发生的历史。