Timed transition systems with independence and timed event structures: an adjunction

The behaviour of concurrent systems is often specified extensionally by describing their “state-transitions” and the observable behaviours that such transitions produce. The simplest formal model of computation able to express naturally this idea is that of labelled transition systems, where the labels on the transitions represent the observable part of its behaviour.