Structural Operational Semantics

Luca Aceto
Willem Jan Fokkink
Chris Verhoef

September 1999


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.


Last modified: 2003-06-08 by webmaster.