Structural operational semantics
An overview of work in this area and further references can be found in
- L. Aceto, W.J. Fokkink and C. Verhoef (2001): Structural operational
semantics, in J.A. Bergstra, A. Ponse & S.A. Smolka, eds: Handbook
of Process Algebra, Elsevier, pp. 197-292.
My own contributions to this area are
Rob van Glabbeek
rvg@CS.Stanford.EDU