Zhengwei Qi, Cheng Fu, Dongyu Shi, Jinyuan You, Minglu Li: Membrane Calculus: A Formal Method for Grid Transactions. GCC 2004: 73-80