The k-exclusion condition (in which the number of users in the criti-cal region at any time is constrained to be at most k) can be defined by the exclusion specification
Điều kiện loại trừ k (trong đó số người dùng trong vùng criti-cal 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ác đặc tả loại trừ
Các điều kiện k-trừ (trong đó số người dùng trong khu vực criti-Cal 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ừ