Xiang Fu, Tevfik Bultan, Jianwen Su. Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services. In Oscar H. Ibarra, Zhe Dang, editors, Implementation and Application of Automata, 8th International Conference, CIAA 2003, Santa Barbara, California, USA, July 16-18, 2003, Proceedings. Volume 2759 of Lecture Notes in Computer Science, pages 188-200, Springer, 2003. [doi]
Abstract is missing.