On interprocess communication. II: Algorithms
asynchronous processes in a concurrent system
scientific article; zbMATH DE number 3965425