Khamespanah, Ehsan, Marjan Sirjani, Mohammadreza Mousavi, Zeynab Sabahi Kaviani, and Mohamadreza Razzazi. “State Distribution Policy for Distributed Model Checking of Actor Models”. Electronic Communications of the EASST 72 (November 25, 2015). Accessed November 21, 2024. https://eceasst.org/index.php/eceasst/article/view/2199.