George Baryannis, Dimitris Plexousakis. Fluent Calculus-Based Semantic Web Service Composition and Verification Using WSSL. In Alessio Lomuscio, Surya Nepal, Fabio Patrizi, Boualem Benatallah, Ivona Brandic, editors, Service-Oriented Computing - ICSOC 2013 Workshops - CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers. Volume 8377 of Lecture Notes in Computer Science, pages 256-270, Springer, 2013. [doi]
Abstract is missing.