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 invoc resp events satisfying:
1. For every variable v, the projection of Seq on v, denoted Seqv , is such
that every Read (adjacent invoc resp event pair) returns the most recent
Write (adjacent invoc resp 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ệnlà tuần tự phù hợp nếu có là một hoán vị Seq của cặp liền kề củatương ứng invoc resp 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ậymỗi đọc (bên cạnh invoc resp sự kiện cặp) trả về đặt tạiViết (bên cạnh invoc resp sự kiện cặp) mà ngay lập tức trước đó.

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 hoán vị Seq của cặp liền kề của
các sự kiện invoc resp đáp ứng tương ứ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 (cặp sự kiện liền kề invoc resp) trả về gần đây nhất
Write (liền kề cặp sự kiện invoc resp) mà ngay lập tức trước đó.