Pointwise extensions of GSOS-defined operations (0)

by H H Hansen, B Klin
Venue:Mathematical Structures in Computer Science