Operational semantics for product-form solution

Maria Grazia Vigliotti

Published in: CoRR (2012)

Keyphrases

operational semantics
product form
steady state
queueing networks
optimal solution
formal semantics
stationary distribution
queuing network
database
data model
decision problems
mental states
state dependent