Return to Article Details Development of Rabin’s Choice Coordination Algorithm in Event-B Download Download PDF