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]
@inproceedings{ChenWDQ06,
title = {Towards Formal Interfaces for Web Services with Transactions},
author = {Zhenbang Chen and Ji Wang and Wei Dong and Zhichang Qi},
year = {2006},
doi = {10.1007/978-3-642-01350-8_27},
url = {http://dx.doi.org/10.1007/978-3-642-01350-8_27},
tags = {web service, web services},
researchr = {https://researchr.org/publication/ChenWDQ06},
cites = {0},
citedby = {0},
pages = {292-304},
booktitle = {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},
editor = {Ernesto Damiani and Kokou Yétongnon and Richard Chbeir and Albert Dipanda},
volume = {4879},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-01349-2},
}