Structural operational semantics

A short description of structural operational semantics occurs at the top of this page.
An overview of work in this area and further references can be found in My own contributions to this area are In addition, I have edited three collections on Structural Operational Semantics:
Rob van Glabbeek