Mathematical models of multiprogrammed computer systems · Study