C'è una differenza tra coerenza di ordine totale e linearizzabilità?

Question

Di Ordine totale Intendo la seguente definizione [0]:

Ordine di eventi totali: le repliche del controller dovrebbero elaborare eventi nello stesso ordine e successivamente tutte le istanze dell'applicazione del controller dovrebbero raggiungere lo stesso stato interno.

Se la mia comprensione è corretta, non c'è alcuna differenza e le due parole possono essere usate in modo intercambiabile. Tuttavia, vorrei assicurarmi di non sbagliare.

Nel caso in cui entrambi i concetti siano diversi, potresti sottolineare le loro differenze e forse fornire un esempio? Sarebbe molto apprezzato!

Grazie,

[0] - https://www.cs.princeton.edu/~jrex/papers/ravana15.pdf