Cú pháp:

choice[n1] (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. Chúng tôi sử dụng ngôn ngữ tựa C[n2] để mô tả hành vi mong đợi của phép toán này.

{[n3] n Î[0,1]

n= rand(1)

if (Cond1== TRUE)

if (n<= PA1) TaskA else TaskB;

else if (Cond2= TRUE)

if (n<= PA2) TaskA else TaskB;

…

else if (Condn== TRUE)

if (n<= PAn) TaskA else TaskB;

else

if (n<= PA0) TaskA else TaskB;

}