CPO models for a Class of GSOS languages (1995)

by L Aceto, A Ingolfsdottir
Venue:Schwartzbach (Eds.), Proc. TAPSOFT’95, Lecture Notes in Computer Science