Изменения

Также гарантируется, что в любом исполнении любое сообщение, предназначенное не отказавшему процессу, обрабатывается через конечное число шагов.

Другими словами, ''сообщения не теряются''.

== Ссылки ==

* http://bailonga.es/tpmtp/lecture09.pdf

* https://github.com/volhovm/study-notes/blob/master/parallel_programming/parallel_programming.org