Mohamed Tounsi, Mohamed Mosbah, Dominique Méry. From Event-B Specifications to Programs for Distributed Algorithms. In Sumitra Reddy, Mohamed Jmaiel, editors, 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, Hammamet, Tunisia, June 17-20, 2013. pages 104-109, IEEE, 2013. [doi]
Abstract is missing.