C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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