Begin ifthis - инициатор then

begin state:= cand; send (token, this) to Next_p;

repeat receive (token, q);

if q = this then state:= coordinator

Else ifest(this) < est(q)then

begin if state = cand then state:= lost;

send (token, q) to Next_p

End

until state = coordinator

End

else repeat receive (token, q); send (token, q) to Next_p;

if state = sleep then state:= lost

until false

end (* Только координатор может завершить выполнение программы. Он передает сообщение всем сайтам, чтобы сообщить им свой идентификатор. *)

Пусть p₀ – инициатор с наибольшим идентификатором. Все процессы являются либо не-инициаторами, либо инициаторами с идентификаторами меньшими p₀, поэтому все процессы передают дальше маркер (token, p₀), отправленный p₀. Следовательно, p₀ получает свой маркер обратно и становится выбранным.

Не-инициаторы не могут быть выбраны, так как все они приходят в состояние проигравший самое позднее, когда через них передается маркер p₀. Инициатор p с оценкой est (p) < est (p₀) не может быть выбран; p₀ не передаст дальше маркер (token, p), поэтому p никогда не получит свой собственный маркер. Такой инициатор p приходит в состояние проигравший самое позднее, когда через него передается маркер (token, p₀).

Рис. 30. Иллюстрация к алгоритму Чанга-Робертса

На рис. 30 изображен некоторый момент выполнения алгоритма Чанга-Робертса. На кольце расположены сайты. На внешней стороне кольца указаны их идентификаторы, на внутренней – величины оценок, на основе которых производится выбор координатора. Кружок с числом 2 – маркер (token, 2), переносящий номер сайта, для которого оценка имеет значение «31», стрелка указывает направление движения маркера. Начальный сайт при выполнении алгоритма указан звездочкой – это сайт 1 с оценкой est (1) = 24.