Аннотация доклада.

Динамическое параллельное исполнение позволяет эффективно адаптировать программы для их выполнения на вычислительных средах параллельной архитектуры. В настоящей статье представлена формальная модель динамического параллельного исполнения программ, написанных в функциональном стиле. Для модели доказывается свойство, гарантирующее корректность параллельного исполнения.