Towards a formal model of volunteer computing systems. - Wang Yu; Haiwu He; Wang Zhi-Jia (IPDPS, 2009)