PanLinx: communicating sequential processes

English	eng-000
communicating sequential processes

English	eng-000	CSP
русский	rus-000	стратегия CSP

PanLex-PanLinx