Towards correct Evolution of Conversation Protocols

Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur. Towards correct Evolution of Conversation Protocols. In Mohamed Ghazel, Mohamed Jmaiel, editors, Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, Tunis, Tunisia, October 6-7, 2016. Volume 1689 of CEUR Workshop Proceedings, pages 193-201, CEUR-WS.org, 2016. [doi]

Abstract

Abstract is missing.