Modelling and Verification of Mutual Exclusion Algorithms.

Franco Cicirelli Libero Nigro

Published in: DS-RT (2016)

Keyphrases

mutual exclusion
learning algorithm
times faster
computationally efficient
orders of magnitude
bayesian networks
computational complexity
worst case
theoretical analysis
long distance