A more complete model of communicating processes
scientific article; zbMATH DE number 3810903