Probabilistic models of computer systems?Part I (exact results) · Study