Статья 534

Из-за этих условий атака не может начаться на рассвете. Исследования показали, что в любой системе, где обмен информацией не гарантирован, общее знание не достижимо. Оно не достижимо и в системах, где коммуникация гарантирована, но имеется неопределенность во времени передачи сигналов.
Интерпретация семантики возможных жиров в многопроцессорных системах.
Как задача о двух генералах, так и многие другие проблемы эпистемической логики исследовались в многопроцессорных вычислительных системах. Их создание - плод работы многих специалистов по искусственному интеллекту. Описание знания процессора в таких системах опирается на многие ключевые идеи семантики возможных миров, поэтому их можно рассматривать как конкретизацию логических семантик.
Многопроцессорная система представляет собой конечную совокупность вычислительных устройств - процессоров, связь между которыми осуществляется при помощи соединений в сети.