|
Structural Operational Semantics
Luca Aceto
September 1999 |
Abstract:
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. |