school
UM E-Theses Collection (澳門大學電子學位論文庫)
- Title
-
Formal analysis of Web Services Atomic Transaction protocol using SPIN
- Issue date
-
2009.
- Author
-
Leong, Ieng Kit
- Faculty
-
Faculty of Science and Technology
- Department
-
Department of Computer and Information Science
- Degree
-
M.Sc.
- Subject
-
Web site development
Web servers -- Computer programs
Programming languages (Electronic computers)
- Supervisor
-
Xu, Qiwen
- Files In This Item
- Location
- 1/F Zone C
- Library URL
- 991003690849706306