Срез, согласованный срез — различия между версиями
(Новая страница: «Категория: Параллельное программирование Пусть E - event-ориентированная система с полным …») |
(нет различий)
|
Версия 16:34, 26 июня 2010
Пусть E - event-ориентированная система с полным порядком (
Срез F - любое подмножество E такое, что
Согласованный срез G - любое подмножество E такое, что
.Это означает, что не существует сообщения переданного "через" срез в обратную сторону (см. рисунок
- несогласованный срез, - согласованный срез.