Pi 微积分编程 Pict 教程简介 电子书下载

原名:Programming in the Pi-Calculus A Tutorial Introduction to Pict
作品简介:这是 Pict 的教程介绍，带有示例和练习 R eppy 加深了我们对 π 演算和并发编程的理解 [PRT93] Benjamin C. Pierce、Didier Rщemy 和 David N. Turner。……