Semaphore queues: modeling multilayered window flow control mechanisms | IEEE Journals & Magazine | IEEE Xplore