57 citations · 234 across the 31 of their papers we have counts for
1 paper · 1 filter
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…