行为等价论文

基于Pi-演算的Web服务组合的描述和验证
论文摘要在研究Web服务组合中存在着一个重要问题是怎么样使用进程代数形式化的描述Web服务组合并且证明Web服务组合的正确性。用Pi-演算建模Web服务组合的模型可以用来检查、...