Negin Fathollahnejad, Raul Barbosa, Johan Karlsson. A Probabilistic Analysis of a Leader Election Protocol for Virtual Traffic Lights. In Dong Seong Kim, Masato Kitakami, Vijay Varadharajan, editors, 22nd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2017, Christchurch, New Zealand, January 22-25, 2017. pages 311-320, IEEE Computer Society, 2017. [doi]
Abstract is missing.