Formalizing Web Service Choreography Interface.

Yu Huang, Chunxiang Xu, Hanpin Wang, Yunni Xia, Jiaqi Zhu, Cheng Zhu

Browse the full AINA paper archive.