Cтраница 4
Для обеспечения максимальной производительности, достижимой с учетом ограничений, налагаемых степенью параллельности, которая присутствует в решаемой прикладной задаче, необходимо использовать языки параллельного программирования, такие, как Оккам. [46]
В книге изложена теория формальных моделей вычислительных процессов, включая вопросы спецификации асинхронных параллельных процессов и программ, их анализа и верификации; рассмотрены связи проблематики параллельного программирования, информационного обмена и аппаратной реализации управляющих структур. [47]