57 citations · 234 across the 31 of their papers we have counts for
1 paper · 2 filters
Luca Aceto, Eugen-Ioan Goriac, Anna Ingolfsdottir
Meta SOS is a software framework designed to integrate the results from the meta-theory of structural operational semantics (SOS). These results include deriving semantic propertie…