基于异步PI演算的Web服务长事务协议性质分析
谭 煌,高春鸣,袁勇福
Properties analysis for Web services long running transaction based on asynchronous PI-calculus
TAN Huang,GAO Chun-ming,YUAN Yong-fu
计算机工程与应用 . 2008, (11): 80 -85 .