La coherencia secuencial es un modelo de coherencia en el que el resultado de cualquier ejecución es el mismo que si las operaciones de todos los procesadores se realizaran en algún orden secuencial, y las operaciones de cada procesador individual aparecieran en esta secuencia en el orden determinado por su programa.
Identificado por primera vez por Lamport en 1979. La formulación clásica implica una comparación de los sistemas multiprocesador con un solo procesador, es decir, los sistemas multiprocesador coordinados secuencialmente, dichos sistemas se denominan en los que, al ordenar todas las operaciones de todos los procesadores en una secuencia (siempre que las operaciones de cada procesador individual estén ubicadas en esta secuencia común en el mismo orden en que se ejecutan en un procesador serial separado), el resultado de ejecutar tal secuencia será el mismo que si esta secuencia se ejecutara en un solo procesador serial.