Handling Reparation in Incremental Construction of Realizable Conversation Protocols

Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor. Handling Reparation in Incremental Construction of Realizable Conversation Protocols. In El Hassan Abdelwahed, Ladjel Bellatreche, Djamal Benslimane, Matteo Golfarelli, Stéphane Jean, Dominique Méry, Kazumi Nakamatsu, Carlos Ordonez 0001, editors, New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings. Volume 929 of Communications in Computer and Information Science, pages 159-166, Springer, 2018. [doi]

Abstract

Abstract is missing.