Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus form a research field of common interest …
