The property to be shown is that at

The property to be shown is that at most one agent is in the critical section (or at the label cs) at any moment.

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

Bất động sản để được hiển thị là rằng đại lý một tối đa là trong phần quan trọng (hoặc nhãn cs) bất cứ lúc nào.

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

Các bất động sản để được chỉ ra là nhiều nhất một đại lý là trong phần quan trọng (hoặc nhãn cs) bất cứ lúc nào.