More formally [13], a sequence Seq

More formally [13], a sequence Seq of invocation and response events is sequentially consistent if there is a permutation Seq of adjacent pairs of corresponding events satisfying:
1. For every variable v, the projection of Seq on v, denoted Seqv, is such that every Read (adjacent event pair) returns the most recent Write (adjacent event pair) that immediately preceded it.

Kết quả (Việt) 1:

Chính thức [13], một chuỗi Seq invocation và đáp ứng các sự kiện là tuần tự phù hợp nếu có là một hoán vị Seq liền kề cặp tương ứng sự kiện đáp ứng:1. đối với mỗi biến v, chiếu Seq trên v, kí hiệu là Seqv, là như vậy mà đọc mỗi (liền kề sự kiện cặp) trả về viết gần đây nhất (bên cạnh sự kiện cặp) mà ngay lập tức trước nó

Kết quả (Việt) 2:

Chính thức hơn [13], một chuỗi Seq của invocation và đáp ứng các sự kiện là tuần tự phù hợp nếu có một Seq hoán vị của các cặp liền kề tương ứng sự kiện đáp ứng:
1. Đối với mỗi v biến, dự tính về Seq trên v, ký hiệu Seqv, là như vậy mà mỗi Read (liền kề cặp sự kiện) trả về Write gần đây nhất (liền kề cặp sự kiện) mà ngay lập tức trước đó.