Categories: Semantics
Action semantics is a semantic framework invented by David Watt and Peter D. Mosses . It is a mixture of denotational and operational semantics.