CPO Models for Compact GSOS Languages

Luca Aceto, Anna Ingólfsdóttir. CPO Models for Compact GSOS Languages. Inf. Comput., 129(2):107-141, 1996.

Abstract

Abstract is missing.