1. Validating trustworthy service composition through VIPLE and pi-calculus. (21st April 2020) Authors: Zhao, Shenghui; Li, Yuemin; Wang, Yang; Chen, Yinong Journal: International journal of simulation and process modelling Issue: Volume 15:Number 1/2(2020) Page Start: 76 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗