Title: The Operational Semantics of Action Notation
Abstract: 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.