17 citations · 45 across the 9 of their papers we have counts for
1 paper · 1 filter
Luca Aceto, Paweł Sobociński
Structural operational semantics (SOS) is a technique for defining operational semantics for programming and specification languages. Because of its intuitive appeal and flexibilit…