Aabhas V. Paliwal, Nabil R. Adam, Christof Bornhövd. Web service orchestration and verification using MSC and CP nets. In Yookun Cho, Roger L. Wainwright, Hisham Haddad, Sung Y. Shin, Yong Wan Koo, editors, Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007. pages 1693-1694, ACM, 2007. [doi]
Abstract is missing.