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

书籍简介:

本书以理论与实践相结合的方式系统地介绍Spi及其扩展中的基本理论和应用方法，对Pi演算家族进行了全面、系统的介绍和分析，从Spi演算扩展在服务组合上的应用进行了全面的领域研究。通过阅读本书，一般读者可以获得Spi演算家族基本理论、应用和验证工具的清晰认识和理解；工程技术人员可以通过本书系统地学习和运用Spi演算家族相关技术；而高校教师、软件学院本科生、研究生和其他科研工作者可以通过本书了解Spi演算家族的前沿知识，发现新的研究选题。本书不仅可以作为相关领域的参考书，也可作为计算机软件、计算机应用等相关专业的教科书。

书籍规格:

书籍信息归属:

基于扩展Spi演算的服务组合语言形式化基础及应用是中国矿业大学出版社于2013.8出版的中图分类号为 TP393.02 的主题关于 计算机网络－网络设计－网络模型－研究 的书籍。