A Model and Temporal Proof System for Networks of Processes.

Van Nguyen Alan J. Demers David Gries Susan S. Owicki

Published in: Distributed Comput. (1986)

Keyphrases

formal model
computational model
similarity measure
experimental data
objective function
probabilistic model
computational models
prediction model
network model
neural network
parameter estimation
mathematical model