Verifying WS-CDL-Based Web Services Collaboration by Model Checking.

Zuling Kang, Hongbing Wang

Browse the full SERVICES paper archive.