Axiomatizing GSOS with termination (2002)

by Jos C M Baeten, Erik P de Vink
Venue:Proceedings of 19th International Symposium on Theoretical Aspects of Computer Science (STACS’02), volume 2295 of Lecture Notes in Computer Science