Labelled transition system ($(S,\Lambda ,\to )$)

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