Institutional Repository
| a csp and z combined modeling of document exchange processes in e-commerce protocols | |
| Wang X; Cheung SC; Wei J | |
| 2002 | |
| Conference Name | 2nd Asia-Pacific Conference on Quality Software |
| Pages | 875-889 |
| Conference Date | DEC 10-11, |
| Conference Place | HONG KONG, PEOPLES R CHINA |
| Indexed Type | sci ; istp ; sciencedirect |
| Publish Place | PO BOX 211, 1000 AE AMSTERDAM, NETHERLANDS |
| Publisher | INFORMATION AND SOFTWARE TECHNOLOGY |
| ISSN | 0950-5849 |
| Department | Univ Oxford, Comp Lab, Oxford OX1 3QD, England. Hong Kong Univ Sci & Technol, Dept Comp Sci, Kowloon, Hong Kong, Peoples R China. Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing 100080, Peoples R China. |
| English Abstract | E-commerce protocols comprise a vital component of the trading infrastructure over the Internet. Effectiveness and reliability of trading transactions likely depend on the quality of such protocols. However, building a quality c-commerce proto |
| Keyword | Formal Specification E-commerce Protocols Internet Open Trading Protocol Csp z Document Exchange Process |
| Sponsorship | City Univ Hong Kong, Dept Comp Sci, Ctr Software Engn, Sch Informat Technol, Swinburn Univ Technol, Informat Technol Serv Dept, Govt Hong Kong, British Comp Soc, Hong Kong Sect, Hong Kong Comp Soc, Hong Kong Inst Engineers Informat Technol Div |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/13422 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Wang X,Cheung SC,Wei J. a csp and z combined modeling of document exchange processes in e-commerce protocols[C]. PO BOX 211, 1000 AE AMSTERDAM, NETHERLANDS:INFORMATION AND SOFTWARE TECHNOLOGY,2002:875-889. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment