"258","Development of Rabin's Choice Coordination Algorithm in Event-B","The paper reports our investigation on tool support for the integration of qualitative probabilistic reasoning into Event-B.  In the process, we formalise a non-trivial algorithm, namely Rabin's choice coordination.  Our correctness reasoning is a combination of termination proofs in terms of probabilistic convergence and standard invariant techniques.  Moreover, we describe how qualitative probabilistic reasoning can be maintained during refinement.","http://deploy-eprints.ecs.soton.ac.uk/258/","Yilmaz, Emre and Hoang, Thai Son","UNSPECIFIED","       <span class=\"person_name\">Yilmaz, Emre</span> and <span class=\"person_name\">Hoang, Thai Son</span>       <a href=\"http://deploy-eprints.ecs.soton.ac.uk/258/\"><em>Development of Rabin's Choice Coordination Algorithm in Event-B.</em></a>       Technical Report.     University of Düsseldorf, Dusseldorf, Germany.           ",",htson@inf.ethz.ch",""
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>