спецификация и верификация параллельных систем и процессов