计算机工程与应用2008，Vol.44Issue(11)：80-85,6.
基于异步PI演算的Web服务长事务协议性质分析
Properties analysis for Web services long running transaction based on asynchronous PI-calculus
摘要
关键词
Web服务/长时间事务/异步PI演算分类
信息技术与安全科学引用本文复制引用
谭煌,高春鸣,袁勇福..基于异步PI演算的Web服务长事务协议性质分析[J].计算机工程与应用,2008,44(11):80-85,6.基金项目
湖南省重点科技攻关项目(No.05GK2002) （No.05GK2002）
湖南省重大科技攻关项目(No.2006GK4034). （No.2006GK4034）
