Martin Kleppmann
Mots clés
FR |
EN
Systèmes distribués
Traitement réparti
Systèmes informatiques -- Mesures de sûreté
Réplication
Vérification formelle
Sûreté et disponibilité
Types de données répliqués
Verrous distribués
Vérification de modèles (informatique)
Consensus distribué
Consensus Byzantine
Primitives de diffusion
Cohérence faible
Échantillonnage de pairs
Blockchains
Algorithmes épidémiques
Cryptomonnaie