Asynchronous Timed Web Service-Aware Choreography Analysis.

Nawal Guermouche, Claude Godart

Browse the full CaiSE paper archive.