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