A Compositional Proof System for Shared Variable Concurrency.

Frank S. de Boer Ulrich Hannemann Willem P. de Roever

Published in: FME (1997)

Keyphrases

machine learning
bayesian networks
modal logic
neural network
database systems
learning algorithm
web services
optimal solution
continuous variables