Joffroy Beauquier Colette Johnen Analyze of Probabilistic Algorithms under Indeterministic Scheduler. 553-558 2008 ISPA http://dx.doi.org/10.1109/ISPA.2008.21 conf/ispa/2008 db/conf/ispa/ispa2008.html#BeauquierJ08