Proof of the conjecture on the stability of a multiserver retrial queue.

Bara Kim Jeongsim Kim

Published in: Oper. Res. Lett. (2015)

Keyphrases

retrial queue
single server
queueing systems
service times
stability analysis
queueing networks
theorem proving
linear logic
learning algorithm
bayesian networks
special case
np hard
parallel machines
complete axiomatization