Thông báo tuy nhiên đó, như trái ngược với bisimulation yếu nơi bước im lặng chỉ sản xuất nonobservable (tức là, nội bộ) thay đổi, hư hỏng có thể sản xuất thay đổi quan sát được trong một mối quan hệ khả năng chịu sai nonmasking. Hãy để chúng tôi giới thiệu một ví dụ về khả năng chịu nonmasking
đang được dịch, vui lòng đợi..