WSSL: A Fluent Calculus-Based Language for Web Service Specifications.

George Baryannis, Dimitris Plexousakis

Browse the full CaiSE paper archive.