State Distribution Policy for Distributed Model Checking of Actor Models. - Ehsan Khamespanah; Marjan Sirjani; Mohammad Reza Mousavi 001; Zeynab Sabahi-Kaviani; Mohamadreza Razzazi (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015)