Structural Operational Semantics
This paper offers an overview of the current state of the development of the theory of Structural Operational Semantics (SOS), with emphasis on its applications to process algebra. It focuses on five aspects of SOS, viz. the meaning of Transition System Specifications (TSSs) with predicates and negative premises, conservative extension results for TSSs, congruence formats, many-sorted higher-order extensions and connections with denotational semantics
Available as PostScript, PDF, DVI.