Mathematical models of multiprogrammed computer systems