Zhengwei Qi, Ruonan Rao, Guangtao Xue, Jinyuan You. A New Formal Model Based on P-System for Mobile Transactions. In 2004 IEEE International Conference on Services Computing (SCC 2004), 15-18 September 2004, Shanghai, China. pages 16-22, IEEE Computer Society, 2004. [doi]
Abstract is missing.