Автор(ы): Любченко В. С. (ИПУ РАН, Лаборатория 03) НЕАКТУАЛЬНАЯ ЗАПИСЬАвтор(ов): 1 Параметры публикацииТип публикации: ДокладНазвание: Автоматные методы синтеза параллельных программ.ISBN/ISSN: ISBN 978-5-211-06394-5Наименование конференции: 14-я Международная суперкомпьютерная конференция «Научный сервис в сети Интернет: поиск новых решений» (Новороссийск, 2012)Наименование источника: Труды 14-й Международной суперкомпьютерной конференции «Научный сервис в сети Интернет: поиск новых решений» (Новороссийск, 2012)Город: МоскваИздательство: МГУГод издания: 2012Страницы: 44-53 АннотацияНа примере разработки алгоритма управления роботом показано, как структурная теория автоматов из теории цифровых схем может использоваться в теории программирования, решая вопросы проектирования [параллельных] программ. Рассмотрены вопросы формального синтеза параллельных программ в рамках теории канонического синтеза цифровых автоматов. Библиографическая ссылка: Любченко В.С. Автоматные методы синтеза параллельных программ. / Труды 14-й Международной суперкомпьютерной конференции «Научный сервис в сети Интернет: поиск новых решений» (Новороссийск, 2012). М.: МГУ, 2012. С. 44-53.