Изменения

'''Полный порядок''' - для любых сообщений ''x'' и ''y'' и любых потоков ''P'' и ''Q'' если ''x'' принято в ''P'' перед ''y'', то ''y'' не может быть принято перед ''x'' в ''Q''.