Кузнецов А.С. Теория вычислительных процессов

Красноярск : СФУ, 2015. - 183 с. Приведены сведения о семантике языков программирования и теории схем программ, даны основные понятия и определения теории параллельных процессов, их протоколов и интерфейсов, изложены принципы построения сетей Петри. Особое внимание уделено вопросам разработки параллельных программ с использование различных библиотек функций, реализующих системные вызовы в рамках операционной системы Linux. Предназначен для студентов, обучающихся по специальностям 230105.65 «Программное обеспечение вычислительной техники и автоматизированных систем», 080801.65 «Прикладная информатика (в экономике)», 230700.62 «Прикладная информатика» всех форм обучения.