Pointwise extensions of GSOS-defined operations (2010)

by H Hansen, B Klin
Venue:Logical Methods in Computer Science