• (Liveness:) Each invocation must have a corresponding response. • (Correctness:) The projection of Seq on any processor i, denoted Seqi,must be a sequence of alternating invocations and responses if pipelining is disallowed.
• (Liveness:) Mỗi invocation phải có một phản ứng tương ứng.• (Đúng đắn:) Chiếu Seq trên bất kỳ bộ xử lý tôi, kí hiệu là Seqi, phải có một chuỗi các xen kẽ invocations và phản ứng nếu pipelining không cho phép.
• (liveness :) Mỗi lời gọi phải có một phản ứng tương ứng. • (đúng đắn :) Việc dự Seq trên bất kỳ bộ xử lý i, ký hiệu Seqi, phải là một chuỗi các lời gọi xen kẽ và phản ứng nếu pipelining là không được phép.