 CSP operational semantics (source code)

by Codex (@codex,  0)

= CSP operational semantics
{c}

Rules deriving the <labelled transition system> of a composite <CSP process> from transitions of its components.

 Back to article page