Quem são os legisladores de Paxos?

No artigo seminal de sistemas distribuídos The Part Time Parliament (o protocolo Paxos), Leslie Lamport nomeia legisladores ficcionais que estão envolvidos no protocolo do parlamento Paxon.

De acordo com este artigo , ele observa que:

Dei aos legisladores gregos os nomes dos cientistas da computação que trabalham no campo, transliterados com a ajuda de Guibas em um dialeto grego falso.

Alguém tem alguma informação sobre os cientistas que os legisladores têm o nome? Uma lista dos legisladores no jornal e os correspondentes cientistas da computação seria a resposta ideal.

Eu acho que o primeiro legislador mencionado no artigo, "Λινχ∂", recebeu o nome de Nancy Lynch, pois poderia ser pronunciado como "Linch". Além disso, "Λεωνίδας Γκίμπας" da bibliografia é Leo Guibas . Estou completamente perdido sobre quem são os outros.

Este é um palpite dos nomes transliterados que pude encontrar no artigo de Paxos. A maioria são pessoas mencionadas nas referências do artigo.

• Autor: Lynch, N. - Legislador
• Nome: Fischer, MJ - Legislador
• Nome: Toueg, S. - Legislador
• Nome: Oki, BM - Legislador
• Imagem: Dolev, D. - Agricultor
• Pontos: Skeen, MD - Comerciante
• Data: Stockmeyer, L. - Legislador
• :Τρωνγ: (Forte / Estrangeiro?) - Legislador
• Pontos: Dwork, C. - Presidente
• Nome: Dijkstra, EW - Inspetor de queijos
• :Ωυδα: (Gouda) - Inspetor de queijo
• Ζρανσεζ: Francez, N. - Provador de vinhos
• Pontos: Pnueli, A. - Provador de vinhos
• Procurador: Schneider, FB - Cidadão
• Γρεες: (Grécia) - Cidadão
• Nome: Lampson, B. - Geral
• Por: Liskov, BH - Comerciante
• Pontos: Parnas, D. - estadista mais velho
• Nome: Gray, CG - Sacerdote
• Nome: Lindsey, BG - Padre