Categorical semantics of parallel program design
scientific article; zbMATH DE number 1022177
scientific article