Correct-by-Construction Evolution of Realisable Conversation Protocols

Sarah Benyagoub, Meriem Ouederni, Neeraj Kumar Singh, Yamine Aït Ameur. Correct-by-Construction Evolution of Realisable Conversation Protocols. In Ladjel Bellatreche, Oscar Pastor, Jesús M. Almendros-Jiménez, Yamine Aït Ameur, editors, Model and Data Engineering - 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings. Volume 9893 of Lecture Notes in Computer Science, pages 260-273, Springer, 2016. [doi]

Abstract

Abstract is missing.