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 đó.
đang được dịch, vui lòng đợi..
