Login / Signup
From Annotated LOTOS Specifications to Queueing Networks: Automating Performance Models Derivation.
Omar Hjiej
Abdelmalek Benzekri
Alberto Valderruten
Published in:
Decentralized and Distributed Systems (1993)
Keyphrases
</>
queueing networks
model selection
product form
probabilistic model
finite state machines
stochastic model