The question may arise whether the

The question may arise whether the extension of the classical CCS with priorities
is really necessary or if it is syntactic sugar. We show an example, taken from [23],
to illustrate the necessity of priorities in process algebras in general. Consider the
following system:

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

Các câu hỏi có thể phát sinh cho dù phần mở rộng của CCS cổ điển với ưu tiênthực sự là cần thiết hoặc nếu nó là cú pháp đường. Chúng tôi hiển thị một ví dụ, Lấy từ [23],để minh họa cho sự cần thiết phải ưu tiên trong quá trình algebras nói chung. Xem xét cácHệ thống sau:

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

Câu hỏi đặt ra có thể phát sinh dù phần mở rộng của CCS cổ điển với các ưu tiên
thực sự là cần thiết hoặc nếu nó là cú pháp đường. Chúng tôi cho thấy một ví dụ, lấy từ [23],
để minh họa cho sự cần thiết phải ưu tiên trong quá trình đại số nói chung. Hãy xem xét các
hệ thống sau: