A computer network model using concurrent process synchronization.