PanLinx
русский
rus-000
стратегия CSP
English
eng-000
CSP
English
eng-000
communicating sequential processes
PanLex