From Event-B specifications to programs for distributed algorithms

Mohamed Tounsi, Mohamed Mosbah, Dominique Méry. From Event-B specifications to programs for distributed algorithms. IJAACS, 9(3/4):223-242, 2016. [doi]

Abstract

Abstract is missing.