Fairness-More Examples A fair execution of the following program would always terminate: newvar y:=0 in (x :=0;((while y=0 do x:=x+1)lly:=1)) Stronger fairness is needed to rule out infinite execution of the following program: newvar y:=0 in (X=0; ((while y=0 do x:=1-x)ll (await x =1 then y =1)) Xinyu Feng Shared-Variable ConcurrencyFairness — More Examples A fair execution of the following program would always terminate: newvar y := 0 in (x := 0;((while y = 0 do x := x + 1) k y := 1)) Stronger fairness is needed to rule out infinite execution of the following program: newvar y := 0 in (x := 0; ((while y = 0 do x := 1 − x) k (await x = 1 then y := 1)) ) Xinyu Feng Shared-Variable Concurrency