Negin Fathollahnejad, EmÃlia Villani, Risat Pathan, Raul Barbosa, Johan Karlsson. On reliability analysis of leader election protocols for virtual traffic lights. In 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, DSN Workshops 2013, Budapest, Hungary, June 24-27, 2013. pages 1-12, IEEE Computer Society, 2013. [doi]
Abstract is missing.