Axiomatizing GSOS with termination (extended abstract (0)

by J C M Baeten, E P de Vink
Venue:Ferreira (Eds.), Proc. STACS’02, LNCS 2295, 2002