Verifying Consistency of Web Services Behavior Using Type Theory.

Yuyu Yin, Jianwei Yin, Ying Li, ShuiGuang Deng

Browse the full APSCC paper archive.