La linéarisabilité est un modèle de cohérence forte dans les systèmes concurrents et distribués. D'après l'article qui l'a introduite [1] :La linéarisabilité donne l'illusion que chaque opération appliquée par des processus concurrents prend effet instantanément à un moment donné entre son invocation et sa réponse.À la première lecture (et probablement à la deuxième et à la troisième...)