A Fully Abstract Model of Fair Asynchrony.

Philippe Darondeau

Published in: Seminar on Concurrency (1984)

Keyphrases

high level
computational model
prior knowledge
experimental data
probabilistic model
mathematical model
statistical model
closed form
sensitivity analysis
formal model
parameter values
genetic algorithm
feature selection
em algorithm
parameter estimation
hybrid model