zbMATH参考文献（参考 33篇文章 参考）

1. Bhattacharyya，Anirban；Mokhov，Andrey；Pierce，Ken：可靠系统动态重构建模与分析的经验比较（2017）
2. 张睿；郭德贵；高文娟；刘磊：基于pi演算的本体进化建模（2016）
3. Khomenko，Victor；Meyer，Roland；Hüchting，Reiner:（\pi）-微积分FCP到安全Petri网的多项式转换（2013）
4. Mateescu，Radu；Salaün，Gwen:PIC2LNT:模型检查的模型转换应用pi演算（2013）
5. Johansson，Magnus；Victor，Björn；Parrow，Joachim:计算psi计算的强与弱互模拟（2012）
6. Martinho，Joana；Ravara，António:用多元同步在微积分中编码密码原语（2011）
7. Jesper Bengtson；Parrow，Joachim:使用名义逻辑形式化pi演算（2009）
8. 柯林斯，马修；莫纳汉，布莱恩；派姆，大卫：定位资源的逻辑和计算理论（2009）
9. Collinson，Matthew；Pym，David：《基于资源的系统建模的代数与逻辑》（2009）
10. Meyer，Roland:（\pi）-微积分中的结构平稳性理论（2009）
11. Peschanski，Frédéric；Bialkiewicz，Joël-Alexis:使用（\pi）图建模和验证移动系统（2009）
12. 吴朝辉；邓水光；李颖；吴健：动态服务组合中的计算兼容性（2009）ioport公司
13. Ahmad，Raheel；Rahimi，Shahram:ACVisualizer:APi微积分的可视化工具（2008）
14. Devillers，Raymond；Klaudel，Hanna；Koutny，Maciej:一般（\pi）的组合Petri网翻译-微积分术语（2008）
15. Meyer，Roland；Khomenko，Victor；Strazny，Tim：使用网络展开验证移动系统的实用方法（2008）
16. Danos，Vincent；Krivine，Jean；Tarissan，Fabien:自组装树（2007）
17. De Nicola，Rocco；Gorla，Daniele；Pugliese，Rosario:元组空间动态网络中的全局计算（2007）
18. Kang，Zuling；Wang，Hong Bing；Hung，Patrick C.K.：web服务协作的WS-CDL+（2007）ioport公司
19. Chothia，Tom:使用pi演算分析静音匿名文件共享系统（2006）
20. 密码学方法；本杰明静态分析法