Automatic Generation of DistAlgo Programs from Event-B Models. - Alexis Grall (ABZ, 2020)

Generating Distributed Programs from Event-B Models. - Horatiu Cirstea; Alexis Grall; Dominique Méry (VPT/HCVS@ETAPS, 2020)