Model Checking Web Services Choreography.

Arbia Ben Azaiez, Zohra Sba

Browse the full CaiSE paper archive.