Sign in
An Abstract Machine for Asynchronous Programs with Closures and Priority Queues.
Davide Ancona
Giorgio Delzanno
Luca Franceschini
Maurizio Leotta
Enrico Prampolini
Marina Ribaudo
Filippo Ricca
Published in:
RP (2017)
Keyphrases
</>
abstract machine
priority queue
data model
arrival processes
retrial queue
waiting times
asynchronous communication
computer programs
transitive closure
fixpoint
data sets
single server
finite capacity
service rates
arrival process
queueing networks
case study
knowledge base
neural network