> -- Иван Кузьмицкий писал(а):
> Например, агентные системы, которые мы можем моделировать в BlackBox с помощью межмодульной шины и отложенных действий.
Насколько я знаю, в BlackBox реализована кооперативная многозадачность, то есть каждый отдельный момент времени выполняется только одна задача. Да, они могут быстро переключаться, что у человека будет создаваться впечатление, что они работают параллельно. (Истинной параллельности там не может быть, так как сборщик мусора в BlackBox расчитан только на однопотокове исполнение)

Вопрос же был несколько в другом, чтобы задачи выполнялись используя по максимуму ресурсы компьютера, которые включают в себя несколько ядер и чтобы был не просто удобный метод использования параллельности, но и чтобы можно было формально доказать коррекность такой программы.