SAFE MUTATIONS OF COMMUNICATION PROTOCOLS

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

Forschungsartikel (Zeitschrift) | Peer reviewed

Details zur Publikation

FachzeitschriftJournal of Mathematical Sciences
Jahrgang / Bandnr. / Volume-
StatusVeröffentlicht
Veröffentlichungsjahr2026
Sprache, in der die Publikation verfasst istEnglisch
StichwörterCommunicating automata; Communication protocols; Protocol verification; Software mutations; Property preservation

Autor*innen der Universität Münster

Gorlatch, Sergei