Ruonan Rao, Jiankun Wu, Dejun Wang, Linpeng Huang. Transaction of Service Composition in Pervasive Computing and Its Correctness Analysis Based on ASM. In Huaikou Miao, Gongzhu Hu, editors, 8th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2009, June 1-3, 2009, Shanghai, China. pages 840-845, IEEE Computer Society, 2009. [doi]
Abstract is missing.