原名:A Calculus for Orchestration of Web Services
作品简介:化,模式匹配,定界接收和删除活动,同时结果不同于。用于编排 Web 服务的 dard 语言,以驱动我们的新流程演算的设计。一元运算符、选择和并行组合。符号 ́· will 〈xid, “对不起”……

资源下载
VIP免费升级VIP
显示验证码

社交账号快速登录