A theory of communicating processes with value passing
scientific article; zbMATH DE number 529880