1. Formal design of scalable conversation protocols using Event‐B: Validation, experiments, and benchmarks. Issue 2 (12th December 2019) Authors: Benyagoub, Sarah; Aït‐Ameur, Yamine; Ouederni, Meriem; Mashkoor, Atif; Medeghri, Ahmed Other Names: Mashkoor Atif guestEditor.; Sametinger Johannes guestEditor.; Biro Miklós guestEditor.; Egyed Alexander guestEditor. Journal: Journal of software Issue: Volume 32:Issue 2(2020) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗