Describing and Verifying Web Service Using Type Theory.

Zhiwei Chen, Jian Wu, ShuiGuang Deng, Ying Li, Zhaohui Wu

Browse the full CSCWD paper archive.