zbMATH中的参考文献（参考文献33条)

1. 巴塔查里亚，阿尼尔班；莫霍夫，安德烈；Pierce，Ken:可靠系统动态重构建模与分析的经验比较（2017）
2. 张瑞；郭德贵；高文娟；刘磊：基于pi演算的本体进化建模（2016）
3. 霍门科，维克托；迈耶，罗兰；Hüchting，Reiner:（\pi）-微积分fcp到安全Petri网的多项式转换（2013）
4. 马泰斯库，拉杜；Salaün，Gwen:PIC2LNT:模型检查的模型转换应用pi演算（2013）
5. 约翰森，马格努斯；维克托，比约恩；帕罗，约阿希姆：计算psi计算的强和弱互模拟（2012）
6. 马丁尼奥，乔安娜；Ravara，António:用多元同步在微积分中编码密码原语（2011）
7. 本特森，杰斯帕；形式逻辑（2009）
8. 柯林斯，马修；蒙纳汉，布莱恩；大卫·皮姆：《定位资源的逻辑与计算理论》（2009）
9. 柯林斯，马修；Pym，David:基于资源的系统建模的代数和逻辑（2009）
10. Meyer，Roland:（\pi）-微积分中的结构平稳性理论（2009）
11. 佩尚斯基，弗里德里克；Bialkiewicz，Joël-Alexis:使用（\pi）-图建模和验证移动系统（2009）
12. 吴兆辉；邓水光；李颖；吴健：动态服务组合中的计算兼容性（2009）ioport公司
13. 艾哈迈德，拉希尔；Rahimi，Shahram:ACVisualizer:APi微积分的可视化工具（2008）
14. 德维勒，雷蒙德；克劳代尔，汉娜；Koutny，Maciej:一般（\pi）-微积分术语的组合Petri网翻译（2008）
15. 迈耶，罗兰；霍门科，维克托；斯特拉兹尼，蒂姆：使用网络展开验证移动系统的实用方法（2008）
16. 丹诺斯，文森特；克里文，琼；Tarissan，Fabien:自组装树（2007）
17. 德尼古拉，罗科；戈拉，丹妮尔；普格利泽，罗萨里奥：元组空间动态网络中的全局计算（2007）
18. 康、祖陵；王红兵；Hung，Patrick C.K.：web服务协作的WS-CDL+（2007）ioport公司
19. Chothia，Tom:使用pi演算分析静音匿名文件共享系统（2006）
20. 阿齐兹，本杰明；汉密尔顿，杰夫；Gray，David:密码过程的静态分析：指称方法（2005）