VCV--张恩展分享 http://blog.sciencenet.cn/u/zhangenzhan 欢迎车辆通信、车辆定位、车辆安全的高人交流。

博文

π-演算(pi-calculus)

已有 5788 次阅读 2011-6-5 15:45 |个人分类:未分类|系统分类:科研笔记|关键词:学者| π演算

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


https://m.sciencenet.cn/blog-489553-451912.html

上一篇:信息融合——手记
下一篇:3G的入门资料,保存在这里一下。

0

发表评论 评论 (0 个评论)

数据加载中...

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-6-2 03:31

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部