On space complexity of self-stabilizing leader election in mediated population protocol
scientific article; zbMATH DE number 6134284
scientific article