Modelling Asynchrony with a Synchronous Model.

Robert P. Kurshan Michael Merritt Ariel Orda Sonia R. Sachs

Published in: CAV (1995)

Keyphrases

computational model
probabilistic model
high level
prior knowledge
mathematical model
website
cost function
theoretical framework
sensitivity analysis
simulation model
objective function
probability distribution
management system
closed form
formal model
parameter values