Please refer this link from page 41 to 48.
Dynamics of a language describes how programs are executed.
- Structural Dynamics: Defines transition system inductively specifies step-by-step process of executing a program.
- Contextual Dynamics: A variation of structural dynamics.
- Equational Dynamics: A collection of rules defining when one program is definitionally equivalent to another.