Zhengwei Qi Ruonan Rao Guangtao Xue Jinyuan You A New Formal Model Based on P-System for Mobile Transactions. 16-22 2004 conf/IEEEscc/2004 IEEE SCC http://csdl.computer.org/comp/proceedings/scc/2004/2225/00/22250016abs.htm db/conf/IEEEscc/scc2004.html#QiRXY04