e/Action semantics

Information
has gloss	eng: Action semantics is a framework for the formal specification of semantics of programming languages invented by David Watt and Peter D. Mosses. It is a mixture of denotational, operational and algebraic semantics.
lexicalization	eng: Action semantics
instance of	c/Formal specification languages