Compatibility Checking of Heterogeneous Web Service Policies Using VDM++.

Quan Z. Sheng, Jian Yu, Zakaria Maamar, Wei Jiang, Xitong Li

Browse the full SERVICES paper archive.