אנגלית ⇄ סינית +

weak parallel loop invariant
.טכנול	弱并行循环不变式