@techreport{deploy258,
            type = {Technical Report},
           title = {Development of Rabin's Choice Coordination Algorithm in Event-B},
          author = {Emre Yilmaz and Thai Son Hoang},
         address = {Dusseldorf, Germany},
       publisher = {University of D{\"u}sseldorf},
     institution = {University of D{\"u}sseldorf},
             url = {http://deploy-eprints.ecs.soton.ac.uk/258/},
        abstract = {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.}
}

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>