action notation

Action Semantics (1985–2005) is a hybrid of denotational and operational semantics, developed in collaboration with David Watt (Glasgow).