Formal Analysis of Behavioural Equivalence for Trustworthy and Composite Web Services.

Yongwang Zhao, Chunyang Hu, Min Liu, Dianfu Ma

Browse the full UIC paper archive.