Analysis of Franklin's Leader Election Algorithm

$\newcommand{\N}{\mathbb{N}}\newcommand{\Z}{\mathbb{Z}}\newcommand{\R}{\mathbb{R}}\DeclareMathOperator{\E}{E}$

This project, which is well underway, is about average-case analysis of Franklin’s Leader Election Algorithm. I already have a github repo named franklin with LaTeX sources. This is joint work that began at the 2017 Workshop on Probability and Combinatorics.