%0 Journal Article
%T 一种扩充的π-演算及事务性等价关系研究
%A 袁敏  黄志球  曹子宁  肖芳雄
%J -
%D 2010
%X 为了保证Web服务事务获得正确的执行和一致的结果，对Web服..
%K [Web服务
%K π-演算
%K 膜活动
%K 等价事务
%K 互模拟
%K Web services
%K π-calculus
%K membrane activity
%K equivalent transaction
%K bisimulation]
%U http://crad.ict.ac.cn/CN/Y2010/V47/I3/541