The Pi-Calculus：A Theory of Mobile Processes
2022-05-17 22:26:59
17.51MB
1
此书作者robin milner是图灵奖得主。书中milner以直观而严格的方式介绍了他所发明了pi演算。pi演算的用途是作为描述并行计算的基本理论。
2021-11-08 23:31:07
6MB
1