Monitor (gedistribueerd programmeren): verschil tussen versies