Web 服务编排的演算 电子书下载

原名:A Calculus for Orchestration of Web Services
作品简介:通过数学（主要是代数和逻辑）工具分析并发、反应式和分布式系统。由于其代数性质，过程演算提供了直观、简洁的符号，并以精炼的形式传达了 SOC 的组合编程风格。服务正在建设中……