Hong Zhu, Bin Zhou, XinJun Mao, Lijun Shan, David A. Duce. Agent-Oriented Formal Specification of Web Services. In Hai Jin, Yi Pan, Nong Xiao, editors, Grid and Cooperative Computing - GCC 2004 Workshops: GCC 2004 International Workshops, IGKG, SGT, GISS, AAC-GEVO, and VVS, Wuhan, China, October 21-24, 2004. Proceedings. Volume 3252 of Lecture Notes in Computer Science, pages 633-641, Springer, 2004. [doi]
Abstract is missing.