Fully abstract denotational models for nonuniform concurrent languages
scientific article; zbMATH DE number 708734