Fluent Calculus-Based Semantic Web Service Composition and Verification Using WSSL.

George Baryannis, Dimitris Plexousakis

Browse the full ICSOC paper archive.