| |
| | GSW People |
 | | Xiang Fu, Tevfik Bultan and Jianwen Su, "Conversation Protocols: A Formalism for Specificationa and Verification of Reactive Electronic Services," In Proceedings of 8th International Conference on Implementation and Application of Automata (CIAA 2003). |
 | | Xiang Fu, Tevfik Bultan, and Jianwen Su, "Formal Verification of E-Services and Workflows," In Proceedings of Workshop on "Web Services, e-Business, and the Semantic Web (WES): Foundations, Models, Architecture, Engineering and Applications" (WSeBt 2002) in conjunction with CAiSE'02, LNCS 2512, pp. |
 | | Xiang Fu, Tevfik Bultan, Richard Hull, and Jianwen Su. |
| itc.gsw.edu /faculty/xfu (424 words) |
|