A Calculus of Mobile Processes Part I and part II

时间:2012-03-02 11:23:10
【文件属性】:

文件名称:A Calculus of Mobile Processes Part I and part II

文件大小:494KB

文件格式:RAR

更新时间:2012-03-02 11:23:10

PI-演算

Milner大大的经典论文,Pi演算的完整论述。 英文,不知道是否有哪位大侠有空翻译,先表谢意。


【文件预览】:
ECS-LFCS-89-85.pdf
ECS-LFCS-89-86.pdf

网友评论