Discussion:Leslie Lamport

Le contenu de la page n’est pas pris en charge dans d’autres langues.
Une page de Wikipédia, l'encyclopédie libre.
Autres discussions [liste]
  • Admissibilité
  • Neutralité
  • Droit d'auteur
  • Article de qualité
  • Bon article
  • Lumière sur
  • À faire
  • Archives
  • Commons

Raison du Turing Award[modifier le code]

J'ai traduis

"For fundamental contributions to the theory and practice of distributed and concurrent systems, notably the invention of concepts such as causality and logical clocks, safety and liveness, replicated state machines, and sequential consistency"

par

"ses contributions fondamentales théoriques et appliquées dans les systèmes distribués et concurrents, notamment en inventant des concepts tels que la causalité et les horloges logiques, (...) et la consistance séquentielle".

Je ne suis pas assez compétent dans le domaine pour traduire correctement "safety and liveness, replicated state machines", ne connaissant pas les termes techniques utilisés en français. Je laisse quelqu'un de plus averti s'en charger et remplacer les points de suspension.