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
Add To MetaCart
Results 1 - 1 of 1

Axiomatizing GSOS with Termination

by J.C.M. Baeten , E.P. de Vink - THE JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING , 2004
"... ..."
Abstract - Cited by 13 (1 self) - Add to MetaCart
Abstract not found