Preface Special Issue on Structural Operational Semantics

Abstract

This special volume of Information and Computation aims at documenting state-of-the-art research, new developments, and directions for future investigation in the field of structural operational semantics (SOS). It includes papers about the SOS of concurrent processes, addressing ordered SOS, simulation upto, mobility, name-passing, and congruence formats. It also contains papers about the SOS of programming languages, focussing on bialgebraic semantics, co-inductive and bi-inductive forms of big-step SOS, the relationship to rewriting logic semantics, and the use of logical relations. Since its introduction by Robin Milner [1] and Gordon Plotkin [2] around 1980, SOS has become one of the main semantic description frameworks. It has been used to describe the static and dynamic semantics of numerous programming and concurrent process languages, and some non-executable specification languages. Its most characteristic feature is the use of axioms and inference rules to define transition relations, which are usually structural in the sense that transitions for compound phrases are inferred from transitions for their