Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi. Towards Formal Interfaces for Web Services with Transactions. In Ernesto Damiani, Kokou Yétongnon, Richard Chbeir, Albert Dipanda, editors, Advanced Internet Based Systems and Applications, Second International Conference on Signal-Image Technology and Internet-Based Systems, SITIS 2006, Hammamet, Tunisia, December 17-21, 2006, Revised Selected Papers. Volume 4879 of Lecture Notes in Computer Science, pages 292-304, Springer, 2006. [doi]
Abstract is missing.