Labelled transition system
ID: labelled-transition-system
A transition system whose edges carry action labels. A CSP operational semantics uses visible CSP events and the internal label .
New to topics? Read the docs here!
New to topics? Read the docs here!