Modeling and Verification of Response Time of QoS-aware Web Service Composition by Timed CSP.

Ming Zhu, Jing Li, Guodong Fan, Kunsheng Zhao

Browse the full EUSPN paper archive.