X. Wang, S. C. Cheung, J. Wei. On the Modelling of Document Exchange Processes in E-Commerce Protocols. In 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 10-11 December 2001, Hong Kong, China, Proceedings. pages 387-396, IEEE Computer Society, 2001. [doi]
Abstract is missing.