Jean-Raymond Abrial (2010):
Modeling in Event-B: System and Software Engineering.
Cambridge University Press,
doi:10.1017/S0956796812000081.
Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta & Laurent Voisin (2010):
Rodin: an open toolset for modelling and reasoning in Event-B.
International Journal on Software Tools for Technology Transfer 12(6),
pp. 447–466,
doi:10.1007/s10009-010-0145-y.
Jean-Raymond Abrial, Dominique Cansell & Dominique Méry (2003):
A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol..
Formal Aspects of Computing 14(3),
pp. 215–227,
doi:10.1007/s001650300002.
Néstor Cataño & Víctor Rivera (2016):
EventB2Java: A Code Generator for Event-B.
In: Sanjai Rayadurgam & Oksana Tkachuk: NASA Formal Methods.
Springer International Publishing,
Cham,
pp. 166–171,
doi:10.1007/978-3-319-40648-0_13.
Zheng Cheng, Dominique Méry & Rosemary Monahan (2016):
On Two Friends for Getting Correct Programs - Automatically Translating Event B Specifications to Recursive Algorithms in Rodin.
In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I,
pp. 821–838,
doi:10.1007/978-3-319-47166-2_57.
Horatiu Cirstea, Alexis Grall & Dominique Méry (2020):
Generating Distributed Programs from Event-B Models.
Research Report.
LORIA UMR 7503 CNRS, INRIA, Université de LORRAINE.
Available at https://hal.inria.fr/hal-02572971.
Andrew Edmunds & Michael Butler (2011):
Tasking Event-B: An extension to Event-B for generating concurrent code.
In: PLACES 2011.
Available at http://eprints.soton.ac.uk/id/eprint/272006.
Yanhong A Liu, Scott D Stoller, Bo Lin & Michael Gorbovitski (2012):
From clarity to efficiency for distributed algorithms.
In: ACM SIGPLAN Notices 47.
ACM,
pp. 395–410,
doi:10.1145/2384616.2384645.
Dominique Méry (2009):
Refinement-based guidelines for algorithmic systems.
International Journal of Software and Informatics 3(2-3),
pp. 197–239.
Dominique Méry (2018):
Modelling by Patterns for Correct-by-Construction Process.
In: Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I,
pp. 399–423,
doi:10.1007/978-3-030-03418-4_24.
Dominique Méry (2019):
Verification by Construction of Distributed Algorithms.
In: Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings,
pp. 22–38,
doi:10.1007/978-3-030-32505-3_2.
Dominique Méry & Rosemary Monahan (2013):
Transforming Event B Models into Verified C# Implementations.
In: Alexei Lisitsa & Andrei P. Nemytykh: First International Workshop on Verification and Program Transformation, VPT 2013, Saint Petersburg, Russia, July 12-13, 2013,
EPiC Series in Computing 16.
EasyChair,
pp. 57–73.
Gerard Tel (2000):
Introduction to distributed algorithms.
Cambridge University Press,
doi:10.1017/CBO9781139168724.
Mohamed Tounsi, Mohamed Mosbah & Dominique Méry (2016):
From Event-B specifications to programs for distributed algorithms.
IJAACS 9(3/4),
pp. 223–242,
doi:10.1504/IJAACS.2016.079623.
eptcs@eptcs.org