《通信与移动系统 π演算》('Communicating and mobile systems: the pi-calculus',CANBRIDGE UNIVERSITY PRESS)
图灵奖获得者——Robin Minler,编著。清华大学出版社,2009.10.林惠民,柳欣欣,刘佳,屈楠,译。
1、π演算定义:连接可变的交互式系统的模型。原始概念是“交互”。
2、扮演的两种不同角色:①是现代广义网络链接的模型。②是一个基本的演算模型。
3、π演算的有限移动性:即有限度地改变进程的格局。(增殖与消亡)
4、“后面内容待续,理解消化后补充”
https://blog.sciencenet.cn/blog-489553-451912.html
上一篇:
信息融合——手记下一篇:
3G的入门资料,保存在这里一下。