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