Correctness Proof of the Standardized Algorithm for ABR Conformance

Abstract. Conformance control for ATM cells is based on a real-time reactive algorithm which delivers a value depending on inputs from the network. This value must always agree with a well de ned theoretical value. We present here the correctness proof of the algorithm standardized for the ATM transfer capability called ABR. The proof turned out akey argument during the standardization process of ABR.