Если Мотивация: если у распределенной системы нет «глобального состояния», то как запомнить её состояние на диске, чтобы можно было продолжить работу после восстановления с диска?
Пусть E - система на основе событий (event-based system) с полным порядком (<tex>\prec</tex>) в рамках каждого процесса. Тогда <br>
