57 citations · 253 across the 38 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.LO2010★ 1 cited
Proceedings Seventh Workshop on Structural Operational Semantics
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…
cs.LO2010★ 11 cited
A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages
Luca Aceto, Matteo Cimini, Anna Ingolfsdottir
This paper presents a bisimulation-based method for establishing the soundness of equations between terms constructed using operations whose semantics is specified by rules in the…