A Web Services Composition Model and Its Verification Algorithm Based on Interface Automata.

Jianhua Li, Songqiao Chen, Lin Jian, Hongyu Zhang

Browse the full TrustCom paper archive.