Who are the legislators of Paxos? In the seminal distributed systems paper The Part Time Parliament (the Paxos protocol), Leslie Lamport names fictional legislators who are involved in the Paxon parliament protocol.

According to this writing, he notes that:


  I gave the Greek legislators the names of computer scientists working in the field, transliterated with Guibas's help into a bogus Greek dialect.


Does anyone have any information on the scientists that the legislators are named after? A list of the legislators in the paper and the corresponding computer scientists would be the ideal answer.

I think the first legislator mentioned in the paper, "Λινχ∂", is named after Nancy Lynch since it could be pronounced as "Linch". Also, "Λεωνίδας Γκίμπας" from the bibliography is Leo Guibas. I'm completely lost as to who the others are.
This is an educated guess of the transliterated names I could find in the Paxos paper. Most of these are people mentioned in the paper's references.


Λ˘ινχ∂: Lynch, N. - Legislator
Φισ∂ερ: Fischer, M. J. - Legislator
Tωυεγ: Toueg, S. - Legislator
Ωκι: Oki, B. M. - Legislator
∆ωλεφ: Dolev, D. - Farmer
Σκεεν: Skeen, M. D. - Merchant
Στωκµε˘ιρ: Stockmeyer, L. - Legislator
Στρωνγ: (Strong/Strang?) - Legislator
∆φωρκ: Dwork, C. - President
∆˘ικστρα: Dijkstra, E. W. - Cheese inspector
Γωυδα: (Gouda) - Cheese inspector
Φρανσεζ: Francez, N. - Wine taster
Πνυeλ˘ι: Pnueli, A. - Wine taster
Σ∂ν˘ιδερ: Schneider, F. B. - Citizen
Γρεες: (Greece) - Citizen
Λαµπσων: Lampson, B. - General
Λισκωφ: Liskov, B. H. - Merchant
Παρνας: Parnas, D. - Elder statesman
Γρα˘ι: Gray, C. G. - Priest
Λινσε˘ι: Lindsey, B. G. - Priest