Đối với điều kiện cao Top-Level công bằng, cùng khóa-tự do và thời gian điều kiện ràng buộc chúng tôi xác định cho vấn đề loại trừ lẫn nhau cũng làm cho tinh thần cho các vấn đề phân bổ nguồn lực chung. Chúng tôi sẽ không thảo luận về tình trạng bị chặn bypass ở đây. Một số mối quan hệ đơn giản giữa các thuộc tính này là như sau. (So sánh với định lý 10.9 và Execise 10.6.)
đang được dịch, vui lòng đợi..
