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]
Abstract is missing.