The Operational Semantics of Action Notation
Peter D. Mosses · DAIMI Report Series · 1992
Action notation is used in the action semantics fratnework, for specifying actions representing program behaviour. It is defined by a structural operational semantics together with a bisimulation-based equivalence that satisfies some simple algebraic laws.