Total order

Материал из Викиконспекты
Перейти к: навигация, поиск

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