Examples ofsuch properties might be

Examples of
such properties might be “If a communication channel has not failed, then
messages will be propagated along
it,” and “If a process has not restarted,
then it retains its local state, modulo
any intentional modifications.

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

ตัวอย่างของคุณสมบัติดังกล่าวอาจ "ถ้าช่องสัญญาณสื่อสารได้ไม่ล้มเหลว จากนั้นข้อความที่จะเผยแพร่ตามมัน และ "ถ้าไม่ได้ เริ่มกระบวนการจากนั้น จะยังคงสภาพท้องถิ่น moduloปรับเปลี่ยนใด ๆ มิ

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

ตัวอย่างของคุณสมบัติดังกล่าวอาจจะเป็น"ถ้าช่องทางการสื่อสารยังไม่ได้ล้มเหลวแล้วข้อความจะถูกแพร่กระจายไปตามมัน" และ "หากกระบวนการที่ยังไม่ได้เริ่มต้นใหม่แล้วก็ยังคงมีรัฐในท้องถิ่นของโมดูโลแก้ไขใดๆ โดยเจตนา

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

ตัวอย่างของ
คุณสมบัติดังกล่าวอาจจะ " ถ้าเป็นช่องทางการสื่อสารไม่ล้มเหลว แล้วข้อความจะถูกแพร่กระจายไปตาม

มัน " และ " ถ้ากระบวนการไม่รีสตาร์ท แล้วมันมี
รัฐท้องถิ่นของ โมดูโล่
ใดโดยเจตนาการปรับเปลี่ยน