Re: Personne ne connait donc Leslie Lamport ?

Vu sa couverture d'alg, c'est en partie grâce à lui que les métros automatiques ne sortent pas de leurs rails, que les systèmes informatiques des bagnoles ne claquent pas trop et que l'on peut faire du gros calcul météo parallèle. Entre autres.