We present a formal model that allows to analyze non trivial properties about the behavior of parallel genetic algorithms implemented using multi-islands. The model is based on a probabilistic labeled transition system, that represents the evolution of the population in each island, as well as the interaction among different islands. By studying the traces these systems can perform, the resulting model allows to formally compare the behavior of different algorithms.
López, N., Rabanal, P., Rodríguez, I., & Rubio, F. (2015). A formal method for parallel genetic algorithms. In Procedia Computer Science (Vol. 51, pp. 2698–2702). Elsevier B.V. https://doi.org/10.1016/j.procs.2015.05.389