Mohamed Tounsi, Mohamed Mosbah, Dominique Méry. From Event-B specifications to programs for distributed algorithms. IJAACS, 9(3/4):223-242, 2016. [doi]
@article{TounsiMM16,
title = {From Event-B specifications to programs for distributed algorithms},
author = {Mohamed Tounsi and Mohamed Mosbah and Dominique Méry},
year = {2016},
doi = {10.1504/IJAACS.2016.079623},
url = {http://dx.doi.org/10.1504/IJAACS.2016.079623},
researchr = {https://researchr.org/publication/TounsiMM16},
cites = {0},
citedby = {0},
journal = {IJAACS},
volume = {9},
number = {3/4},
pages = {223-242},
}