The notion of fault-tolerance is characterized by defining simulation/bisimulation relations, between the desired “fault-free” program, and that which tolerates faults
Các khái niệm về lỗi khoan dung là đặc trưng của de fi ning quan hệ mô phỏng / bisimulation, giữa các chương trình mong muốn "lỗi-miễn phí", và rằng không dung nạp lỗi