Modelling Asynchrony with a Synchronous Model.

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

Published in: Formal Methods Syst. Des. (1999)

Keyphrases

computational model
statistical model
mathematical model
objective function
theoretical analysis
em algorithm
theoretical framework
cost function
experimental data
closed form
prediction model
model construction
supply chain
probabilistic model
databases
sensitivity analysis
formal model
audio visual