Overleg:Wederzijds uitsluitingsalgoritme van Peterson
de veilie sluis bewerken
in het artikel staat: het programma zorgt ervoor dat de situatie \neg vlag.p \wedge \neg vlag.q (allebei de vlaggen de waarde false) niet voor kan komen.
maar dat is juist de pre-conditie: allebei false. Dus het lijkt me dat de auteurs hier in de war zijn geweest. Hoe behoort het te zijn?
groet, Xiutwel 21 jun 2011 17:49 (CEST)