Xiang Fu, Tevfik Bultan, Jianwen Su. Conversation protocols: a formalism for specification and verification of reactive electronic services. Theoretical Computer Science, 328(1-2):19-37, 2004. [doi]
@article{FuBS04:3,
title = {Conversation protocols: a formalism for specification and verification of reactive electronic services},
author = {Xiang Fu and Tevfik Bultan and Jianwen Su},
year = {2004},
doi = {10.1016/j.tcs.2004.07.004},
url = {http://dx.doi.org/10.1016/j.tcs.2004.07.004},
tags = {protocol},
researchr = {https://researchr.org/publication/FuBS04%3A3},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {328},
number = {1-2},
pages = {19-37},
}