Modeling and Verifying Web Services Choreography Using Process Algebra.

Jing Li, Jifeng He, Huibiao Zhu, Geguang Pu

Browse the full SEW paper archive.