CSP step law
= CSP step law
{c}
An algebraic expansion listing the initially possible <CSP events> and their continuations. It translates operational transition cases into <CSP external choice> expressions.
= CSP step law
{c}
An algebraic expansion listing the initially possible <CSP events> and their continuations. It translates operational transition cases into <CSP external choice> expressions.