Article Comments

Contributions from readers on our articles are very welcome. This form will let us retrieve the current data in the database and allows us to consider your comments.

From Event-B specifications to programs for distributed algorithms
Mohamed Tounsi; Mohamed Mosbah; Dominique Méry
International Journal of Autonomous and Adaptive Communications Systems (IJAACS), 2016 Vol.9 No.3/4, pp.223 - 242
12 + 16 =

Thank you for your feedback.

Return to top