Trace properties. As we did for sim

Trace properties. As we did for similar properties in Chapter 10, we can express the well-formedness, exclusion, progress, independent progress, and lockout- freedom conditions equivalently in terms of trace properties. Each of these trace properties P has a signature consisting of try, crit, exit, and rein outputs (and no inputs). The external actions of the combined system are also exactly these actions, and the requirement in each case is that the fair traces of the combined system are all in traces (P).

Kết quả (Việt) 1:

Theo dõi tài sản. Như chúng ta đã làm cho các tính chất tương tự trong chương 10, chúng tôi có thể thể hiện tốt-formedness, loại trừ, tiến bộ, độc lập tiến độ và khóa-tự do điều kiện tương tự về theo dõi tài sản. Mỗi người trong số các thuộc tính này dấu vết P có một chữ ký bao gồm cố gắng, crit, lối ra, và rein kết quả đầu ra (và không có đầu vào). Các hành động bên ngoài của hệ thống kết hợp cũng là chính xác những hành động này, và các yêu cầu trong mỗi trường hợp là công bằng các dấu vết của các hệ thống kết hợp tất cả trong dấu vết (P).

Kết quả (Việt) 2:

tính Trace. Như chúng ta đã làm cho tính chất tương tự của Chương 10, chúng ta có thể diễn tả nổi formedness, loại trừ, sự tiến bộ, tiến bộ độc lập, và điều kiện tự do lockout- tương đương về tính chất vi lượng. Mỗi một thuộc tính dấu vết P có một chữ ký bao gồm thử, crit, xuất cảnh, và kết quả kiềm chế (và không có đầu vào). Các hành động bên ngoài của hệ thống kết hợp cũng là chính xác những hành động này, và các yêu cầu trong mỗi trường hợp là các dấu vết công bằng của hệ thống kết hợp là tất cả trong dấu vết (P).