Process algebra (source code)

= Process algebra
{wiki}

A <process algebra> describes interacting systems through <CSP events>, composition operators and equations relating their behaviours. <Communicating sequential processes> is one such framework.