CPO models for a class of GSOS languages (0)

by L Aceto, A Ing'olfsd'ottir
Venue:in Mosses et al. [166