一个可靠机器,一个不可靠机器和一个缓冲库构成的系统分析

• An Analysis of the System Consisting of a Reliable Machine, an Unreliable Machine and a Single Storage Buffer