Slide 1Modeling issues Book: chapters 4.12, 5.4, 8.4, 10.1 Slide 2 Fairness Slide 3 Dekkers algorithm P1::while true do begin non-critical section 1 c1:=0; while c2=0 do…
