A szekvenciális konzisztencia egy olyan konzisztencia modell, amelyben bármely végrehajtás eredménye ugyanaz, mintha az összes processzor műveletei valamilyen sorrendben történnének, és az egyes processzorok műveletei ebben a sorrendben jelennének meg a programja által meghatározott sorrendben.
Először Lamport azonosította 1979-ben. A klasszikus megfogalmazás magában foglalja a többprocesszoros rendszerek összehasonlítását egyprocesszoros, azaz szekvenciálisan koordinált többprocesszoros rendszerekkel, olyan rendszereket nevezünk, amelyekben az összes processzor összes műveletének egy sorrendben történő elrendelésekor (feltéve, hogy az egyes processzorok műveletei elhelyezkednek ebben a közös szekvenciában, ugyanabban a sorrendben, amelyben külön soros processzoron hajtják végre), egy ilyen sorozat végrehajtásának eredménye ugyanaz lesz, mintha ezt a sorozatot egyetlen soros processzoron hajtanák végre.