A DESIGN THEORY FOR MULTI-PROCESSING COMPUTING SYSTEMS | AMiner