Yu Huang, Chunxiang Xu, Hanpin Wang, Yunni Xia, Jiaqi Zhu, Cheng Zhu. Formalizing Web Service Choreography Interface. In 21st International Conference on Advanced Information Networking and Applications (AINA 2007), Workshops Proceedings, Volume 2, May 21-23, 2007, Niagara Falls, Canada. pages 576-581, IEEE Computer Society, 2007. [doi]
Abstract is missing.