Ali Ebnenasir, Aly Farahat. Swarm Synthesis of Convergence for Symmetric Protocols. In Cristian Constantinescu, Miguel P. Correia, editors, 2012 Ninth European Dependable Computing Conference, Sibiu, Romania, May 8-11, 2012. pages 13-24, IEEE, 2012. [doi]
Abstract is missing.