Queues, stores, and tableaux

Moez Draief Jean Mairesse Neil O'Connell

Published in: CoRR (2007)

Keyphrases

waiting times
finite capacity
modal logic
processor sharing
single server
retrial queue
decision procedures
functional dependencies
service rates
queueing networks
automated reasoning
queue length
poisson arrivals
real time
priority queue
logic programming
artificial intelligence
data sets