A process algebra describes interacting systems through CSP events, composition operators and equations relating their behaviours. Communicating sequential processes is one such framework.
New to topics? Read the docs here!
New to topics? Read the docs here!