The Tale of SOLOIST: A Specification Language for Service Compositions Interactions

Domenico Bianculli, Carlo Ghezzi, Pierluigi San Pietro. The Tale of SOLOIST: A Specification Language for Service Compositions Interactions. In Corina S. Pasareanu, Gwen Salaün, editors, Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers. Volume 7684 of Lecture Notes in Computer Science, pages 55-72, Springer, 2012. [doi]

Authors

Domenico Bianculli

This author has not been identified. Look up 'Domenico Bianculli' in Google

Carlo Ghezzi

This author has not been identified. Look up 'Carlo Ghezzi' in Google

Pierluigi San Pietro

This author has not been identified. Look up 'Pierluigi San Pietro' in Google