Barrier synchronisation: Axiomatisation and relaxation.

Alan Stewart Maurice Clint Joaquim Gabarró

Published in: Formal Aspects Comput. (2004)

Keyphrases

iterative algorithms
functional dependencies
lognormal distribution
probabilistic relaxation
modal logic
inference rules
neural network
semidefinite
artificial intelligence
search algorithm