Wang Yu, Haiwu He, Wang Zhi-Jia. Towards a formal model of volunteer computing systems. In 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009. pages 1-5, IEEE, 2009. [doi]
Abstract is missing.