[Lamport's sequential consistency, IEEE Trans Computers C-28:690-1 1979] "The result of any execution is the … the operations of each individual processor appear in … systems satisfying two conditions, the second of which … [1 FIFO request queue per memory].
Google-1
Google-2
Copyright clearance needed for quotation.