SAFE MUTATIONS OF COMMUNICATION PROTOCOLS

Gorlatch, S.; Garanina, N.; Anureev, I.; Kondratyev, D.

Research article (journal) | Peer reviewed

Details about the publication

JournalJournal of Mathematical Sciences
Volume-
StatusPublished
Release year2026
Language in which the publication is writtenEnglish
KeywordsCommunicating automata; Communication protocols; Protocol verification; Software mutations; Property preservation

Authors from the University of Münster

Gorlatch, Sergei