cálculo de processos

Em ciência da computação, cálculo de processos (process calculus) é uma família diversificada de abordagens para modelar formalmente sistemas concorrentes. O cálculo de processos provê uma ferramenta de descrição de alto nível de interações, comunicações e sincronizações entre uma coleção de agentes ou processos independentes. Eles também fornecem leis algébricas que permitem descrições de processos serem manipuladas e analisadas, e permitem a formalização do raciocínio sobre equivalências entre processos (e.g. usando bisimulação). Principais exemplos de cálculo de processos incluem CSP, CCS, ACP, e LOTOS. Adições mais recentes incluíram o π-calculus, o cálculo de ambiente, PEPA, o cálculo de fusão e o join-calculus.