последовательные связывающиеся процессы, язык CSP (используется для обеспечения взаимодействия конечных автоматов между собой посредством специальных межпроцессорных операций ввода (вывода))

communicating sequential processes

: 2 phrases in 1 subject