On interprocess communication. I: Basic formalism
scientific article; zbMATH DE number 3965424