推荐一本形式化的书：通信与移动系统：π演算

此书是由图灵奖得主Milner 大牛写的目前关于π演算的第一本专著。然后由大牛林惠民院士翻译引进的。

贴个当当的书图，有兴趣得童鞋可以去弄本看看。