The logical design of multiple-microprocessor systems