Cú pháp:

Concurrency(TaskA,TaskB,PA0,Cond1,PA1,cond2,PA2,…,Condn,PAn)

Trong đó 0< PA_i <1 iÎ [0,n], cond_i Îbool,cond_i là các biên kiểu boolean.

Hành vi hoạt động của phép toán được trình bày như sau:

do

{n= rand(1)

if (Cond1== TRUE){

if (n<= PA1) Action_From_TaskA;

else Action_from_TaskB;

}

else if (Cond2== TRUE)

if (n<= PA2) Action_From_TaskA;

else Action_from_TaskB;

…

else if (Condn== TRUE)

if (n<= PAn) Action_From_TaskA;

else Action_from_TaskB;

else

if (n<= PA0) Action_from_TaskA;

else Action_from_TaskB;

if TaskA is finished

all remaining actions of TaskB are executed;

if TaskB is finished

all remaining actions of TaskA are executed;

} while (all actions from taskA and TaskB haven’t executed yet)