Procesų algebra
Informatikoje procesų algebra (arba procesų aritmetika) – plati metodų, skirtų modeliuoti vienalaikėms sistemoms, šeima. Procesų algebra leidžia tiksliai aprašyti procesų ar agentų sąveiką, komunikavimą ir sinchronizaciją. Taip pat taip pateikiami algebros dėsniai kurie leidžia transformuoti ir analizuoti procesų aprašymus, formaliai samprotauti apie procesų ekvivalentumą (pvz., naudojant būsenų neatskiriamumą. Pagrindiniai proceso skaičiavimo pavyzdžiai yra CSP, CCS, ACP ir LOTOS. Naujesni variantai yra π-calculus, ambient calculus, PEPA, fusion calculus and Behavioural Hybrid Process Calculus.