Denotational semantics of communicating processes based on a language for applicative multiprogramming
nondeterministic stream-processing functions
scientific article; zbMATH DE number 3804825