where Pi, P and Q range over the se

where Pi, P and Q range over the set of processes, L  L, and I is a possibly
infinite indexing set. f : L 7! L is a relabeling function for labels. The intuitive
definitions of the processes are as follows:
• nil represents the process which cannot perform any action.
• k.P denotes a process which can perform an action  2 Act with priority k
and then behaves like process P.

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

trong đó Pi, P và Q phạm vi trên tập các quy trình, L? L, và tôi là một thể
lập chỉ mục tập vô hạn. f: L 7! L là một chức năng ghi nhãn lại cho các nhãn. Các trực quan
các định nghĩa của các quá trình như sau:
• nil đại diện cho quá trình đó không thể thực hiện bất kỳ hành động.
• KP biểu thị một quá trình mà có thể thực hiện một hành động? 2 Luật ưu tiên k
và sau đó cư xử giống như quá trình P.