图灵奖得主Milner著作该牛有三本通信系统演算著作：1989CommunicationandConcurrency一直无电子版1999CommunicatingandMobileSystemsthePi-Calculus就是本书2009TheSpaceandMotionofCommunicatingAgents见本人另一资源十年一剑不易，连着三个十年一剑超不易。膜拜了！