何积丰的主要贡献是啥

【何积丰的主要贡献是啥】 之前看了一点UTP,和国内同一级别的牛人比较,UTP不如应明生的进程代数拓扑理论(TPA)深刻(TPA很难理解),也不如周巢尘的时段演算理论(DC)以及林惠民的Symbolic Bisimulations和π演算符号语义用处大,但也是一个很有创造性的理论成果,开创一个新的研究方向,远超国内大多数的计算机院士


    推荐阅读