一种扩充的π-演算及事务性等价关系研究

Keywords: [Web服务, π-演算, 膜活动, 等价事务, 互模拟, Web services, π-calculus, membrane activity, equivalent transaction, bisimulation]

Full-Text   Cite this paper   Add to My Lib

Abstract:

为了保证Web服务事务获得正确的执行和一致的结果，对Web服..

Full-Text