Lamport, Leslie (1941-....)
États-Unis
Date de naissance
1941
Langues d'expression
anglais
Informaticien et créateur du logiciel LATEX. En poste : Systems research center, Digital equipment corporation
Principal researcher at Microsoft Research, the 2013 recipient of the em ACM A.M. Turing Award.
Disciplines liées à ses interventions
Mots-clés liés à ses interventions
Vidéos
The Bakery Algorithm in 2015
Lamport
Leslie
This talk revisits the Bakery Algorithm I proposed in 1974 from the point of view of the tools that we now have at our disposal in 2015, notably the PlusCal Algorithm Language, and the TLA+