SAFE MUTATIONS OF COMMUNICATION PROTOCOLS
Gorlatch, S.; Garanina, N.; Anureev, I.; Kondratyev, D.
Forschungsartikel (Zeitschrift) | Peer reviewedDetails zur Publikation
Fachzeitschrift: Journal of Mathematical Sciences
Jahrgang / Bandnr. / Volume: -
Status: Veröffentlicht
Veröffentlichungsjahr: 2026
Sprache, in der die Publikation verfasst ist: Englisch
Stichwörter: Communicating automata; Communication protocols; Protocol verification; Software mutations; Property preservation
Autor*innen der Universität Münster
| Gorlatch, Sergei |