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;

}