action semantics, a combination of denotational, operational and algebraic semantics.