Correct-by-Construction Evolution of Realisable Conversation Protocols.

Sarah Benyagoub, Meriem Ouederni, Neeraj Kumar Singh, Yamine At Ameur

Browse the full MEDI paper archive.