Joffroy Beauquier, Colette Johnen. Analyze of Probabilistic Algorithms under Indeterministic Scheduler. In IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2008, Sydney, NSW, Australia, December 10-12, 2008. pages 553-558, IEEE, 2008. [doi]