Khamespanah, E.; Sirjani, M.; Mousavi, M.; Sabahi Kaviani, Z.; Razzazi, M. State Distribution Policy for Distributed Model Checking of Actor Models. eceasst 2015, 72.