The mutual exclusion of these opera

The mutual exclusion of these operations and their pre and postconditions guarantee this invariance property

ผลลัพธ์ (ไทย) 1:

ยกเว้นร่วมกันของการดำเนินงานเหล่านี้และของพวกเขาก่อนและ postconditions รับประกันไม่แปรเปลี่ยนสถานที่ให้บริการนี​​้

ผลลัพธ์ (ไทย) 2:

ข้อยกเว้นที่ร่วมกันดำเนินการเหล่านี้ของพวกเขาก่อน และ postconditions รับประกันนี่ invariance

ผลลัพธ์ (ไทย) 3:

การแยกกันระหว่างการทำงานและ postconditions และก่อนที่การรับประกันที่พัก invariance นี้