Type theory based semantic verification for service composition in cloud computing environments
Huang, Changqin, Wang, Xizhe, Wang, DianhuiLanguage:
english
Journal:
Information Sciences
DOI:
10.1016/j.ins.2018.08.042
Date:
August, 2018
File:
PDF, 3.67 MB
english, 2018