06:46Постановка задачи и планы на следующую лекцию
09:48Другое определение наблюдаемой эквивалентности процессов
15:28О свойствах наблюдаемой эквивалентности (по аналогии с сильной эквивалентностью)
22:52Планировщик для операционной системы (пример)
39:49Представление работы планировщика с помощью циклеров
46:33Формальное доказательство свойства (последовательность действий, генерируемых планировщиком и обозначенных альфа, является правильной циклической последовательностью)
