Joris Walraevens, Bart Steyaert, Marc Moeneclaey, Herwig Bruneel. A Discrete-Time HOL Priority Queue with Multiple Traffic Classes. In Pascal Lorenz, Petre Dini, editors, Networking - ICN 2005, 4th International Conference on Networking, ReunionIsland, France, April 17-21, 2005, Proceedings, Part I. Volume 3420 of Lecture Notes in Computer Science, pages 620-627, Springer, 2005. [doi]
Abstract is missing.