Swarm Synthesis of Convergence for Symmetric Protocols

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

Abstract is missing.