SAFE MUTATIONS OF COMMUNICATION PROTOCOLS
Gorlatch, S.; Garanina, N.; Anureev, I.; Kondratyev, D.
Research article (journal) | Peer reviewedDetails about the publication
Journal: Journal of Mathematical Sciences
Volume: -
Status: Published
Release year: 2026
Language in which the publication is written: English
Keywords: Communicating automata; Communication protocols; Protocol verification; Software mutations; Property preservation
Authors from the University of Münster
| Gorlatch, Sergei |