CSP semantic model
= CSP semantic model
{c}
A representation of a <CSP process> by specified kinds of observable behaviour. The <CSP traces model>, <CSP stable-failures model> and <CSP failures-divergences model> record progressively more information about refusals and internal activity.