The Way We Were: Structural Operational Semantics Research in Perspective

Luca Aceto, Pierluigi Crescenzi, Anna Ingólfsdóttir +1

This position paper on the (meta-)theory of Structural Operational Semantic (SOS) is motivated by the following two questions: (1) Is the (meta-)theory of SOS dying out as a resear…