Formal Verification of Mediated Web Service Interactions Considering Client's Expected Behaviours

Proceedings of the 5th International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2009)
,
Washinton D.C., US
,
2009
.
Conference Paper
Project: 
Líon Project