The edge s t is labeled by the i

The edge s t is labeled by the identity of every process Pi such that s t K
i i.e., every process Pi that cannot distinguish between states s and t. We
assume (for simplicity) that edges are bidirectional and that the K relations

Results (Vietnamese) 1:

Cạnh s t được dán nhãn bởi bản sắc của mỗi quá trình Pi như vậy đó t s K
tôi tức là, mỗi quá trình Pi mà không thể phân biệt giữa kỳ s và t. Chúng tôi
giả định (vì đơn giản hơn) cạnh là hai chiều và rằng quan hệ K

Results (Vietnamese) 2:

Cạnh? S? t? được dán nhãn của bản sắc của mỗi quá trình Pi như vậy mà? s? t? K
i tức là, mỗi quá trình Pi mà không thể phân biệt giữa các quốc gia s và t. Chúng tôi
giả định (vì đơn giản) mà cạnh là hai chiều và rằng mối quan hệ K