多元Pi-演算相关论文
Web服务组合在运行时多发生由于类型不匹配而产生的错误,为了有效地避免这种错误,在多元Pi-演算的基础上提出了Web服务形式化描述......
验证问题是Web服务发展中亟待解决的关键问题之一，类型系统的加入以及Web服务动态的体系结构给问题的解决增添了很多难度。针对上述......
