A Formal Specification of Mondex Using SAM

Reng Zeng, Jianling Liu, Xudong He. A Formal Specification of Mondex Using SAM. In Jonathan Lee, Deron Liang, Y. C. Cheng, editors, The Fourth IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008, 18-19 December 2008, Jhongli, Taiwan. pages 97-102, IEEE Computer Society, 2008. [doi]

Authors

Reng Zeng

This author has not been identified. Look up 'Reng Zeng' in Google

Jianling Liu

This author has not been identified. Look up 'Jianling Liu' in Google

Xudong He

This author has not been identified. Look up 'Xudong He' in Google