Membrane Calculus: a formal method for Grid transactions

Zhengwei Qi, Minglu Li, Cheng Fu, Dongyu Shi, Jinyuan You. Membrane Calculus: a formal method for Grid transactions. Concurrency - Practice and Experience, 18(14):1799-1809, 2006. [doi]

Abstract

Abstract is missing.