Миронов А.М. - Формальная семантика и верификация ПО - 9. Теория процессов. Понятие процесса

Теория процессов. Понятие процесса. Операции над процессами. Эквивалентность процессов 00:00:15 Введение в теорию процессов 00:05:52 Понятие процесса. Пример с торговым автоматом 00:21:02 Операции на процессах 00:48:19 Сильная эквивалентность процессов Курс: Формальная семантика и верификация программного обеспечения Ссылка на плейлист: #мгу #мехмат #миронов #формальнаясемантикапо #верификацияпо