semantic model of a concurrent derivation