scholarly journals Validating trustworthy service composition through VIPLE and pi-calculus

2020 ◽  
Vol 15 (1/2) ◽  
pp. 76
Author(s):  
Shenghui Zhao ◽  
Yuemin Li ◽  
Yang Wang ◽  
Yinong Chen
2020 ◽  
Vol 15 (1/2) ◽  
pp. 76
Author(s):  
Yinong Chen ◽  
Yuemin Li ◽  
Yang Wang ◽  
Shenghui Zhao

IEEE Access ◽  
2019 ◽  
Vol 7 ◽  
pp. 56492-56503 ◽  
Author(s):  
Shanchen Pang ◽  
Qian Gao ◽  
Ting Liu ◽  
Hua He ◽  
Guangquan Xu ◽  
...  

Author(s):  
Guisheng Fan ◽  
Huiqun Yu ◽  
Liqiong Chen ◽  
Dongmei Liu

2013 ◽  
Vol 10 (12) ◽  
pp. 77-91 ◽  
Author(s):  
Cao Buqing ◽  
Liu Jianxun ◽  
Xiaoqing Frank Liu ◽  
Li Bing ◽  
Zhou Dong ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document