text: Сейчас разработано уже большое число формальных методов для моделирования и понимания работы параллельных систем, в том числе: Параллельный случайный доступ к компьютеру Модель акторов Вычислительные связанные модели, например, модель массового синхронного параллелизма Сети Петри Исчисление процессов Пространство кортежей, например, Linda SCOOP (Simple Concurrent Object-Oriented Programming — Простое параллельное объектно-ориентированное программирование) Некоторые из этих моделей параллелизма предназначены в первую очередь для логических умозаключений и описания спецификаций, тогда как другие могут быть использованы на протяжении всего цикла разработки, включая проектирование, внедрение, доказательство истинности результатов, тестирование и моделирование параллельных систем.