Axiomatizing GSOS with termination, in (2002)

by J Baeten, E de Vink
Venue:Proceedings of STACS 2002, 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes-Juan les Pins