Leading examples of process calculi include CSP, CCS, ACP, and LOTOS.
Pagrindiniai proceso skaičiavimo pavyzdžiai yra CSP, CCS, ACP ir LOTOS.