Two Finite Specifications of a Queue.

Marc Bezem Alban Ponse

Published in: Theor. Comput. Sci. (1997)

Keyphrases

steady state
queue length
state dependent
arrival rate
waiting times
specification language
single server
hazard rate
markov chain
finite number
queueing theory
priority scheduling
databases
special case
dynamic programming
retrial queue