Contextual refinement of the Michael-Scott queue (proof pearl).
Simon Friis VindumLars BirkedalPublished in: CPP (2021)
Keyphrases
- contextual information
- queue length
- steady state
- arrival rate
- context sensitive
- heavy traffic limit
- waiting times
- state dependent
- markov modulated
- theorem proving
- belief revision
- context dependent
- data sets
- queueing theory
- finite capacity
- retrial queue
- theorem prover
- poisson process
- linear logic
- step wise
- markov chain
- queue size
- priority scheduling
- description logics