Analyzing Behavioral Substitution of Web Services Based on Pi-calculus.

Li Kuang, Yingjie Xia, ShuiGuang Deng, Jian Wu

Browse the full ICWS paper archive.