x 1.00
Лекция 7. Верификация распределенных систем. Задача вычисления произведения матриц
- 00:15Вступление. Комплексы взаимодействующих последовательных программ
- 04:50Элементарные действия. Передача сообщений с помощью каналов и общих переменных
- 26:12Задача вычисления произведения матриц
- 29:34Процесс-менеджер
- 48:16Процесс-работник
- 52:15Возможные дополнительные условия
- 55:44Верификация программы. Введение дополнительных переменных
- 01:11:46Теорема