Поиск в словарях
Contextually communicating sequential processes
(CCSP) A notation based on
CSP
.