Проектирование и анализ параллелизма в процессах и программах