CPO models for compact GSOS languages (1996)

by L Aceto, A Ingolfsdottir
Venue:Information and Computation