Jos C. M. Baeten, Erik P. de Vink. Axiomatizing GSOS with Termination. In Helmut Alt, Afonso Ferreira, editors, STACS 2002, 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings. Volume 2285 of Lecture Notes in Computer Science, pages 583-595, Springer, 2002. [doi]
Abstract is missing.