当前位置:
X-MOL 学术
›
IEEE Trans. Serv. Comput.
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Web Service Interaction Modeling and Verification Using Recursive Composition Algebra
IEEE Transactions on Services Computing ( IF 8.1 ) Pub Date : 2018-01-01 , DOI: 10.1109/tsc.2018.2789454 Gopal N. Rai , G. R. Gangadharan , Vineet Padmanabhan , Rajkumar Buyya
IEEE Transactions on Services Computing ( IF 8.1 ) Pub Date : 2018-01-01 , DOI: 10.1109/tsc.2018.2789454 Gopal N. Rai , G. R. Gangadharan , Vineet Padmanabhan , Rajkumar Buyya
Syntax Tree Generator (Alg. 4) specification
中文翻译:
使用递归组合代数的 Web 服务交互建模和验证
语法树生成器(Alg. 4)规范
更新日期:2018-01-01
中文翻译:
使用递归组合代数的 Web 服务交互建模和验证
语法树生成器(Alg. 4)规范