使用Pi演算的构件交互可信性验证模型

王丹，常建生，赵文兵

Verification Model for Trustworthiness of Interaction between Software Components with Pi-calculus

WANG Dan, CHANG Jiansheng, ZHAO Wenbing

计算机科学与探索 . 2012, (5): 419 -429 . DOI: 10.3778/j.issn.1673-9418.2012.05.004