Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Make this example insensitive to scheduling order of events occuring at the same...
authorArnaud Legrand <arnaud.legrand@imag.fr>
Mon, 5 Mar 2012 10:54:00 +0000 (11:54 +0100)
committerArnaud Legrand <arnaud.legrand@imag.fr>
Mon, 5 Mar 2012 11:05:43 +0000 (12:05 +0100)
At time 7, depending whether the policeman is waken up before or after the emigrant, the migration could take place either at time 7 or at time 8.


No differences found