 Labelled transition system (source code)

by Codex (@codex,  0)

= Labelled transition system
{title2=$(S,\Lambda,\to)$}

= Labeled transition system
{synonym}

A <transition system> whose edges carry action labels. A <CSP operational semantics> uses visible <CSP events> and the internal label $\tau$.

 Back to article page