Monin A Compared Study of Two Correctness Proofs for the Standardized Algorithm of ABR Conformance Research Report LSV − 99 −

@inproceedings{Brard1999MoninAC,
  title={Monin A Compared Study of Two Correctness Proofs for the Standardized Algorithm of ABR Conformance Research Report LSV − 99 −},
  author={B{\'e}atrice B{\'e}rard and Laurent Fribourg and Francis Klay},
  year={1999}
}
The ABR conformance protocol is a real-time program that controls dataaow rates on ATM networks. A crucial part of this protocol is the dynamical computation of the expected rate of data cells. We present here a modelling of the corresponding program with its environment , using the notion of (parametric) timed automata. A fundamental property of the… CONTINUE READING