The k exclusion condition (in which

The k exclusion condition (in which the number of users in the critical region at any time is constrained to be at most k) can be defined by the exclusion specification

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

Điều kiện loại trừ k (trong đó số người dùng trong vùng quan trọng tại bất kỳ thời gian là hạn chế được tối đa k) có thể được xác định bởi đặc tả loại trừ

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

Các điều kiện k loại trừ (trong đó số người dùng trong khu vực quan trọng bất cứ lúc nào được hạn chế đến tối đa là k) có thể được xác định bởi các đặc điểm kỹ thuật loại trừ