计算机工程与科学2018，Vol.40Issue(6)：1075-1083,9.DOI:10.3969/j.issn.1007-130X.2018.06.016
服务组合的代数规约
Algebraic specifications of service composition
摘要
关键词
Web服务/服务组合/代数规约/形式化方法分类
信息技术与安全科学引用本文复制引用
陈颖,刘冬梅,朱鸿,兰斌,何娟娟..服务组合的代数规约[J].计算机工程与科学,2018,40(6):1075-1083,9.基金项目
国家自然科学基金(61502233,61402229) （61502233,61402229）
江苏高校”青蓝工程” （）
中央高校基本科研业务费专项资金(30916011328) （30916011328）
欧盟移动云计算FP7项目MONICA(PIRSES-GA-2011-295222) （PIRSES-GA-2011-295222）
