基于扩展Spi演算的服务组合语言形式化基础及应用

本书以理论与实践相结合的方式系统地介绍Spi及其扩展中的基本理论和应用方法,对Pi演算家族进行了全面、系...

2013.8